KaraokeJS - generate karaoke style videos

Brisk is a complete Continuous Integration tool for executing your test suites. It is designed around speed and outperforms all other CI tools - primarily by only rebuilding the test env when neces…

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