nathanwhit Goto Github PK

a-mir-formality

a PLT redex model of MIR and its type system

agnoster-zsh-theme

A ZSH theme designed to disclose information contextually, with a powerline aesthetic

algo

Set up a personal IPSEC VPN in the cloud

alive2

Automatic verification of LLVM optimizations

antlr4rust

ANTLR4 parser generator runtime for Rust programming laguage

applist

Dynamic access to installed application list, their icons and simple preferences panes

athena-language-server

A language server for the Athena proof language

browserchooser

Default browser chooser for iOS5.0+

browserdefault

Modify the default browser for links to open in

calc-reward-script

cargo

The Rust package manager

cargo-bisect-rustc

Bisects rustc, either nightlies or CI artifacts

cargo-workspaces

A tool for managing cargo workspaces and their crates, inspired by lerna

cc-interrupted-migration-repro

cc-ops-scripts

cc-test-descriptor

cc1-block-data

cctestgen

chalk

A PROLOG-ish interpreter written in Rust, intended eventually for use in the compiler

coreutils

Cross-platform Rust rewrite of the GNU coreutils

cpython

The Python programming language

creditcoin

Official implementation of the Creditcoin protocol

creditcoin-authority-manager

creditcoin-cli

creditcoin-consensus-rust

Rust-based Creditcoin Consensus Engine

creditcoin-js

Starter for interacting with the Creditcoin blockchain

creditcoin-processor-rust

Rust-based Creditcoin Processor

creditcoin-staking-dashboard

Creditcoin Staking Dashboard

creditcoin-stress

creditcoin-substrate