tilogics. Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.
localsurvey. 📊📄 Simple serverless surveys
openjitsu-angular. Open source web platform for learning Brazilian Jiu Jitsu
nanopass-ocaml. OCaml
