Alistair

grace. A fancy diagnostics library that allows your compilers to exit with grace

dromedary. Dromedary is an experimental subset of OCaml, using constraint-based type inference!

University-Notes. A complete collection of my undergraduate notes

ppx-open. A ppx rewriter that provides idiomatic selective `open`s in OCaml.

ppx-template. An opinionated GitHub template for OCaml PPX extensions 🐪

omniml. A simple ML featuring constraint-based type inference with suspended constraints and overloading

ppx-matches. PPX syntax for Rust's `matches!` in OCaml 🐪

ocaml-non-empty-list. A non empty list library for OCaml

ocaml-optimizer. Implementation of various analyses and optimizations on 3-address codes

tsc. Bidirectional type checker for TypeScript (in OCaml 🐪)

Turing-Machine-Simulator. A simple Python Turing machine simulator with an "infinite" tape

Skeleton-CLI. A simple modular command line interface skeleton program

ocaml-amb. A monadic implementation of John McCarthy's `amb` (choice operator)

AppSync-Gremlin. A library for AppSync resolvers and Gremlin traversals

Quantum-Computer-Simulator. A Quantum Computer Simulator written in Python

QASM. A very simple quantum assembler

Ascii-Table. A simple json to ascii table Python package.

ocaml-worker. OCaml template for Cloudflare Workers 👷‍♂️🐪

Pseudo. A interpreted programming language that follows the syntax for CIE pseudocode

ocaml-raytracer. A simple OCaml Raytracer

Algo-Crate. Collection of implementations of standard algorithms and datastructures

Tiny-OS. Tiny operating system for my Caml-OS project

ocaml-0cfa. Implementation of 0CFA in OCaml using Applicative Constraints

OCR-Physics-Notes. My personal A-Level physics notes

dotfiles. btw I use nix

modd. Modd is a minimal ML with modes using constraint-based type inference!