Serializability checker.

A Framework for Modeling and Analyzing Network Configurations

toy implementation of Hindley-Milner type system that prints out inference steps

A WIP compiler for a functional language. Very incomplete!

simple LLVM pass

example LLVM pass but in Rust 🦀

example LLVM pass

A decision procedure for LTLf

Build fast web applications with Rust.

Visualize Ownership and Lifetimes in Rust

The original parsing with derivatives haskell implementation

Identity suppressed decision diagrams (IDDs)

🚧 Build a SQL optimizer in 1000 lines of Rust using egg.

A Rust hashconsing library.

EGraphs in OCaml

Sed Lisp -- a lisp interpreter in GNU sed

This is the latest version of the internal repository from Pebble Technology providing the software to run on Pebble watches. Proprietary source code has been removed from this repository and it wi…

implementing chapters from types and programming languages and cis6700 to learn haskell

Produce Prism models from a simple imperative language

A precise specification for "Rust lite / MIR plus"

An HTML/JS encapsulation overhead calculator

Refinement Types for Rust

Cheatsheet for adding command-line options to an OCaml program using cmdliner

Ppx_deriving plugin for generating command line interfaces from types (Cmdliner.Term.t)

Kleene Algebra with Tests (KAT) and Brzozowski automata

A decision procedure for refinement of series-rational expressions