hirrolot

datatype99. Algebraic data types for C99

metalang99. Full-blown preprocessor metaprogramming

mazeppa. A modern supercompiler for call-by-value functional languages

awesome-c-preprocessor. A list of awesome C preprocessor stuff

interface99. Full-featured interfaces for C99

slice99. Memory slices for C99

poica. C

checked_oint. An OCaml library for checked integer arithmetic

rust-ontologist. Visualizing Rust codebases in a few seconds

hirrolot.github.io. My personal blog

distiller. Haskell