linear-core: My master thesis on typechecking linearity in GHC Core, by understanding semantic linearity in the presence of call-by-need evaluation
ghc-linear-synthesis-plugin: A GHC plugin for synthesizing Haskell programs from Linear Types using bottom-up proof search in linear logic with focusing
programmer-calculator Terminal calculator made for programmers working with multiple number representations, sizes, and overall close to the bits