mattjquinn

followers

0

following

stars

mattjquinn's starred repositories

pyxel

A retro game engine for Python

Language:RustMIT1443600

xen

Mirror of the Xen Repository (PRs not accepted see: http://wiki.xenproject.org/wiki/Submitting_Xen_Project_Patches)

Language:CNOASSERTION60200

jsource

J engine source mirror

Language:CNOASSERTION65400

honggfuzz

Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)

Language:CApache-2.0303200

spark2014

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

Language:AdaGPL-3.024500

clang

Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project

Language:C++NOASSERTION303900

rfcs

RFCs for changes to Rust

Language:MarkdownApache-2.0583800

CompCert

The CompCert formally-verified C compiler

Language:CoqNOASSERTION183900

rustfmt

Format Rust code

Language:RustApache-2.0592500

cargo-asm

cargo subcommand showing the assembly or llvm-ir generated for Rust code

Language:RustNOASSERTION116200

brainfuck

Brainfuck interpreter written in C

Language:CApache-2.052700

cargo

The Rust package manager

Language:RustApache-2.01246000

lld

Project moved to: https://github.com/llvm/llvm-project

Language:C++NOASSERTION20100

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Language:LLVMNOASSERTION2751200

MoarVM

A VM with adaptive optimization and JIT compilation, built for Rakudo

Language:CNOASSERTION68900

neovim

Vim-fork focused on extensibility and usability

Language:Vim ScriptNOASSERTION8095100

JtoLaTeX

Write LaTeX-formatted documents using J evaluation

Language:J1700

ILanguage

An interpreter for a J-inspired language

Language:CISC8800

miri

An interpreter for Rust's mid-level intermediate representation

Language:RustApache-2.0426100

afl

american fuzzy lop (copy of the source code for easy access)

Language:C60400

klee

KLEE Symbolic Execution Engine

Language:C++NOASSERTION253400

xxHash

Extremely fast non-cryptographic hash algorithm

Language:CNOASSERTION887900

distsys-class

Class materials for a distributed systems lecture series

grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

Language:ANTLRMIT1005400

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

Language:JavaBSD-3-Clause1684800

pest

The Elegant Parser

Language:RustApache-2.0454700

llvm

Project moved to: https://github.com/llvm/llvm-project

Language:LLVMNOASSERTION460100

rust

Empowering everyone to build reliable and efficient software.

Language:RustNOASSERTION9606500

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.

Language:OCamlLGPL-2.1474900