mattjquinn's Stars
rust-lang/rust
Empowering everyone to build reliable and efficient software.
neovim/neovim
Vim-fork focused on extensibility and usability
llvm/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
antlr/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
kitao/pyxel
A retro game engine for Python
rust-lang/cargo
The Rust package manager
antlr/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
aphyr/distsys-class
Class materials for a distributed systems lecture series
Cyan4973/xxHash
Extremely fast non-cryptographic hash algorithm
rust-lang/rustfmt
Format Rust code
rust-lang/rfcs
RFCs for changes to Rust
coq/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
llvm-mirror/llvm
Project moved to: https://github.com/llvm/llvm-project
pest-parser/pest
The Elegant Parser
rust-lang/miri
An interpreter for Rust's mid-level intermediate representation
google/honggfuzz
Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)
llvm-mirror/clang
Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
klee/klee
KLEE Symbolic Execution Engine
AbsInt/CompCert
The CompCert formally-verified C compiler
gnzlbg/cargo-asm
cargo subcommand showing the assembly or llvm-ir generated for Rust code
MoarVM/MoarVM
A VM with adaptive optimization and JIT compilation, built for Rakudo
jsoftware/jsource
J engine source mirror
xen-project/xen
Mirror of the Xen Repository (PRs not accepted see: http://wiki.xenproject.org/wiki/Submitting_Xen_Project_Patches)
mirrorer/afl
american fuzzy lop (copy of the source code for easy access)
fabianishere/brainfuck
Brainfuck interpreter written in C
AdaCore/spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
llvm-mirror/lld
Project moved to: https://github.com/llvm/llvm-project
mlochbaum/ILanguage
An interpreter for a J-inspired language
mlochbaum/JtoLaTeX
Write LaTeX-formatted documents using J evaluation