egraphs + datalog!

Compiling to Categories

The Alicorn language, currently in development and unstable

A cross-platform, OpenGL terminal emulator.

The new frontend/backend code for https://xeiaso.net

Proving leftpad correct two-dozen different ways

A time management and utility plugin for Kerbal Space Program

KSP Trajectory Optimization Tool

Kerbal Engineer v1.0 (current in-development build).

htop - an interactive process viewer

Real Scanning, Real Science, at Warp Speed!

OpenBLAS is an optimized BLAS library based on GotoBLAS2 1.13 BSD version.

OSS-Fuzz - continuous fuzzing for open source software.

Mirror of Steel Bank Common Lisp (SBCL)'s official repository

MathJax source code for version 3 and beyond

Find active github forks of a repo https://git.io/vSnrC

Extremely Fast Compression algorithm

A bespoke chatbot

Zstandard - Fast real-time compression algorithm

Modern audio compression for the internet.

A single-file, ANSI C, command-line parsing library that parses GNU-style command-line options.

The Z3 Theorem Prover

A PGP packet visualizer

A native non-web embedding of WebAssembly for Windows/Linux

Slack emojis for Magic card symbols. Used by Scryfall’s Slack bot.

🐴 Tutorial for the Pony programming language

MariaDB server is a community developed fork of MySQL server. Started by core members of the original MySQL team, MariaDB actively works with outside developers to deliver the most featureful, stab…

Free Lossless Audio Codec