Hirrolot

datatype99

Algebraic data types for C99

metalang99

Full-blown preprocessor metaprogramming

interface99

Full-featured interfaces for C99

awesome-c-preprocessor

A list of awesome C preprocessor stuff

slice99

Memory slices for C99

assert-algebraic

Asserting algebraic properties of C functions

hirrolot.github.io

My blog

untyped-nbe

Untyped lambda calculus via Normalization by Evaluation (NbE) in Haskell

poica

A research programming language on top of C macros

checked_oint

An OCaml library for checked integer arithmetic

libmprompt

Robust multi-prompt delimited control and effect handlers in C/C++

pp_loc

Pretty-printing for error source locations

Distiller

Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".

Higher-Level-Transformer

Higher-Level Transformer as described in the paper "The Next 700 Program Transformers"

Hirrolot

multipipe

Better method chaining for Rust

rust-ontologist

spsc

SPSC: A Small Positive Supercompiler