Jesse A. Tov

shcaml. Caml-Shcaml: An Ocaml library for Unix shell programming

succinct-rs. Succinct Data Structures for Rust

alms. The Alms Programming Language

min-max-heap-rs. A double-ended priority queue

weak-table-rs. Weak hash tables for Rust

memoize. A Haskell memoization library

bv-rs. Bit-vectors and bit-slices for Rust

disjoint-sets-rs. Three implementations of Tarjan’s Union-Find

thousands-rs. Prints numbers with separators

bf-rs. Brainfuck in Rust

type-systems-seminar. Notes for winter 2018 PL seminar

dssl2. A data structures student language, version 2

latex-ottalt. LaTeX package for improved formatting of rules and grammars generated by the Ott tool

ge211. A relatively simple C++ student game engine

eecs214. Public repository for Northwestern EECS 214

dssl. Data Structures Student Language

gsc-server. A grading server

feature-probe-rs. Probe for Rust language features from build.rs

libffi-sys-rs. [DEPRECATED; see README.md] Low-level Rust bindings for libffi

latex-subref. LaTeX package for referring to nested/hierarchical references

latex-plstx. A configurable LaTeX environment for high-quality typesetting of grammars for programming language theory

latex-listproc. List processing macros for LaTeX

ihmx. Haskell

foropts-rs. Iterator-style command-line option parsing for Rust

precisepp. Precise++: A precise garbage collector for C++.

latex-pfsteps. LaTeX package providing three facilities for making it easier to typeset proofs.

latex-crush. LaTeX package for shrinking boxes (à la \llap) in a variety of ways

preprocessor-tools-hs. Quick-and-dirty Haskell preprocessor

villages. Haskell

prettier-rs. Pretty printing combinators for Rust

bf-bench-rs. Benchmarks for (Rust) Brainfuck implementations

broadword-rs. Broadword operations for Rust

prettypp. C++17 pretty-printing combinators