Dolt – Git for Data

Asynchronous Language Server Protocol framework

The Ott tool for writing definitions of programming languages and calculi

🔥 Time Travel Visual Debugger for Rust

A reimplementation of the Flap parser in Rust (with our own modifications applied)!

Rust bindings for the Lean 4 proof assistant

The math library of Lean 4

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.