Pinned Repositories
CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
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.
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