This is your work, valued

Justine Frank

Expert
@laelath
laelath.github.io

miniterm. Minimalist terminal emulator

22

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

13

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

10

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

8

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

8

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

4

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

3

jfunge. Befunge to x86_64 compiler

2

snow-hs. Remake of snow in Haskell

2

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

2

proplang-racket. Racket

2

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

1

rocq-word. Coq

1

snow. A rewrite of snow in Rust.

1

tree-sitter-twelf. C

1