Pinned Repositories
eecs322
Garbage collector for EECS 322 Compilers class
frenetic
The Frenetic Programming Language and Runtime System
l5_compiler
A native-code (x86) compiler for the higher-order functional language L5 (subset of Racket)
ocaml-reins
Fork of ocaml-reins from the Ubuntu source repository
ocaml-topology
OCaml topology package
ocamlyices
Yices SMT solver's binding for the OCaml programming language
pdfpc
A presenter console with multi-monitor support for PDF files.
program-repair.github.io
jrmcclurg's Repositories
jrmcclurg/l5_compiler
A native-code (x86) compiler for the higher-order functional language L5 (subset of Racket)
jrmcclurg/CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
jrmcclurg/eecs322
Garbage collector for EECS 322 Compilers class
jrmcclurg/frenetic
The Frenetic Programming Language and Runtime System
jrmcclurg/ocaml-reins
Fork of ocaml-reins from the Ubuntu source repository
jrmcclurg/ocaml-topology
OCaml topology package
jrmcclurg/ocamlyices
Yices SMT solver's binding for the OCaml programming language
jrmcclurg/pdfpc
A presenter console with multi-monitor support for PDF files.
jrmcclurg/program-repair.github.io
jrmcclurg/teaching
Instructional materials and tools
jrmcclurg/uruz
jrmcclurg/z3
The Z3 Theorem Prover