diff --git a/work.html b/work.html index 2f6d593..3d35900 100644 --- a/work.html +++ b/work.html @@ -10,9 +10,7 @@ title: "work"
  • this website - The project which never ends.
  • pi - An implementation of type-in-type MLTT, with pi, sigma, identity, and natural number types.
  • hm - An implementation of a Hindley-Milner type system with non-indexed inductive types. Strictly terminating, other than a hole in the positivity checker.
  • -
  • viddl - A web front-end for youtube-dl
  • kino - A TUI client for browsing movies
  • -
  • bc - A brainfuck compiler, outputting ELF binaries for 64-bit linux.
  • mpdart - An album art display for the music player mpd
  • dbg.h - A C header using macros and C11 generics in order to create greatly informative debug messages.