Ariel Davis

millet. A language server for Standard ML.

coc. The calculus of constructions

rjsonnet. A language server for Jsonnet in Rust.

birb. A toy programming language with effects and contracts

hatsugen. A small programming language formally defined with a series of blog posts and Lean code.

language-util. Various utility crates that might be useful when implementing a programming language.

ungrammar-tools. Tools for ungrammar

sml-libs-scraper. Scraper for online SML libraries

nawa. a rope data structure

flap. a clone of flappy bird

bead. a bidirectionally-typechecked language

unrecur. Transforming recursion into iteration.

dotfiles. My dotfiles

c0ls. A language server for C0

fix-ws. A fix for whitespace

advent-of-code. a yearly game of programming

sml-libs. Signatures for SML libraries

try-rust. An attempt to learn Rust by following along in The Book.

wordle-best. The best starting Wordle word?