Semi-Automated Python Proof Assistant

A computer algebra system written in pure Python

The Racket repository

luajit with a typesystem

Converts SoundFont .sf2 files into GUS-type instrument patches.

Steam Play Compatibility Tool to run games as-is

Tensor library for machine learning

A small C library to make Ogg Theora decoding easier.

You like pytorch? You like micrograd? You love tinygrad! ❤️

Mold: A Modern Linker 🦠

The swiss army knife of lossless video/audio editing

Alternative Twitter front-end

Various experiments in relational programming

AOSP/Bionic compatiblity layer for GLIBC systems

build-once run-anywhere c library

📦 Create and manage your squirrel modules

Audio decoding libraries for C/C++, each in a single source file.

A simple and easy-to-use library to enjoy videogames programming

MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems

Audio playback and capture library written in C, in a single source file.

Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.

Exports Discord chat logs to a file

Modern, simple and consistent Common Lisp string manipulation library.

Texture synthesis from examples

Enforce rules for popup windows

align and compare tables

A Lua bytecode compiler written in Lua itself for didactic purposes or for new language implementations