Empowering everyone to build reliable and efficient software.

A post-modern modal text editor.

Multiplayer at the speed of light

PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement

A markdown terminal slideshow tool

Melody is a language that compiles to regular expressions and aims to be more readable and maintainable

A cinematic Git commit replay tool for the terminal, turning your Git history into a living, animated story.

an educational compiler intermediate representation

Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.

`t` is a concise language for manipulating text, replacing common usage patterns of Unix utilities like grep, sed, cut, awk, sort, and uniq.

A language server for Standard ML.

Structural selections for Kakoune

A transpiled superset of TeX for writing LaTeX.

Interaction net / Linear logic runtime where values are shared. Duplicating a value creates a "shared value" which is transparently reference-counted.

Majestic Lisp language interpreter. Contains the implementation book, in Brazillian Portuguese.