The open knowledge layer for AI agents and APIs

KaraokeJS - generate karaoke style videos

Brisk is a complete Continuous Integration tool for executing your test suites. It is designed around speed and only rebuilds the test env when necessary. It can be run either from your developer m…

The Elm Architecture for Rescript

Darklang main repo, including language, backend, and infra

A modular functional web framework

Command line tools for CircleCI

A compiler for PHP

Research on sorting, esp. related to caching and branch prediction