Justine Frank

miniterm. Minimalist terminal emulator

well-typed-term-generator. A OCaml generator for well-typed terms (that use their arguments).

ocaml-urn. An OCaml implementation of the urn data structure for fast pure functional random sampling

hack-match-bot. A bot that plays the HACK*MATCH minigame in EXAPUNKS.

kakoune-show-matching-insert. A highlighter for people who miss Vim's highlighting of matching characters as you insert them.

TypingTest. Typing test desktop program with a large amount of customization

OpenGL-Project. Just a small OpenGL thing I'm working on for fun.

jfunge. Befunge to x86_64 compiler

snow-hs. Remake of snow in Haskell

kakoune-kitty-ssh. A kakoune plugin that utilizes kitty's ability to run remote control calls from an ssh server.

proplang-racket. Racket

well-typed-term-generator-proofs. Proofs of correctness for the generation method presented in Generating Well-Typed Terms that are not "Useless"

rocq-word. Coq

snow. A rewrite of snow in Rust.

tree-sitter-twelf. C