Chris Nevers

mkocaml. 🔨 Tool to generate OCaml projects

ocamline. 👨🏻‍💻 Command line interface for user input

macro-expander. Implementation of a hygienic macro expander

bitlib. 0️⃣ 1️⃣ OCaml library for bit/byte operations

racket-compiler. "Racket" to x86 compiler

bidirectional-typechecking. Bidirectional type checking for predicative System F

cek-machine. Implementation of a CEK machine

type-inference. Implementation of Algorithm W

ocaml-youtube-dl. An OCaml wrapper for the youtube-dl command line tool

jit-compiler. Implementation of a byte-code compiler and lazy virtual machine

ml-modules. An implementation of ML modules

mysql8. 🥞 An OCaml wrapper for the MySQL C API

ck-machine. Implementation of a CK machine

lambda-calculus. Implementation of the lambda calculus

pretty-html. An indentation sensitive HTML transpiler

rusty-theme. Visual Studio Code Color Theme