Stars
The Ott tool for writing definitions of programming languages and calculi
A reimplementation of the Flap parser in Rust (with our own modifications applied)!
Rust derive macros for equality, ordering, and hashing modulo a context
Empowering everyone to build reliable and efficient software.
A silly emotional rant about the state of devops tooling/the infrastructure sector in 2018. #noyaml.com
A new markup-based typesetting system that is powerful and easy to learn.