Jedidiah McClurg's repositories
l5_compiler
A native-code (x86) compiler for the higher-order functional language L5 (subset of Racket)
CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
Language:PythonNOASSERTION000
eecs322
Garbage collector for EECS 322 Compilers class
Language:C000
frenetic
The Frenetic Programming Language and Runtime System
Language:OCamlNOASSERTION000
ocaml-reins
Fork of ocaml-reins from the Ubuntu source repository
Language:OCamlNOASSERTION000
ocaml-topology
OCaml topology package
Language:OCaml000
ocamlyices
Yices SMT solver's binding for the OCaml programming language
Language:OCaml000
pdfpc
A presenter console with multi-monitor support for PDF files.
Language:ValaGPL-2.0000
Language:HTML000
Language:OCaml000
z3
The Z3 Theorem Prover
Language:C++NOASSERTION000