Pinned Repositories
awesome-c-preprocessor
A list of awesome C preprocessor stuff
datatype99
Algebraic data types for C99
interface99
Full-featured interfaces for C99
metalang99
Full-blown preprocessor metaprogramming
slice99
Memory slices for C99
smolrtsp
A lightweight real-time streaming library for IP cameras
teloxide
🤖 An elegant Telegram bots framework for Rust
Hirrolot's Repositories
Hirrolot/datatype99
Algebraic data types for C99
Hirrolot/metalang99
Full-blown preprocessor metaprogramming
Hirrolot/interface99
Full-featured interfaces for C99
Hirrolot/awesome-c-preprocessor
A list of awesome C preprocessor stuff
Hirrolot/slice99
Memory slices for C99
Hirrolot/assert-algebraic
Asserting algebraic properties of C functions
Hirrolot/hirrolot.github.io
My blog
Hirrolot/untyped-nbe
Untyped lambda calculus via Normalization by Evaluation (NbE) in Haskell
Hirrolot/checked_oint
An OCaml library for checked integer arithmetic
Hirrolot/poica
A research programming language on top of C macros
Hirrolot/Hirrolot
Hirrolot/libmprompt
Robust multi-prompt delimited control and effect handlers in C/C++
Hirrolot/pp_loc
Pretty-printing for error source locations
Hirrolot/Distiller
Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
Hirrolot/Higher-Level-Transformer
Higher-Level Transformer as described in the paper "The Next 700 Program Transformers"
Hirrolot/multipipe
Better method chaining for Rust
Hirrolot/rust-ontologist