Stars
Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.
A split wireless keyboard based on the Corne and Sofle
Coq library for working with de Bruijn indices [maintainer=@KevOrr]
An innovative superfamily of fonts for code
A simple CLI for tracking your working time.
OOPSLA'24 Artifact for "Quantum Control Machine: The Limits of Control Flow in Quantum Programming".
🎧 Open source music client! Available for both desktop & mobile!
Tool to statically recompile N64 games into native executables
A haskell implementation of a resource aware abstract machine for a small subset of jsx.
Type system to secure non-interference in rescript.
Source code for remover.visiblelabs.org
A new markup-based typesetting system that is powerful and easy to learn.
A minecraft-like multi version client implemented in Rust.
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
D2 is a modern diagram scripting language that turns text to diagrams.
Single instance video streaming server with integrated chat.
Highly customizable, lightweight and fully featured factions mod for the Fabric loader in Minecraft
A secure, configurable file-sharing and URL shortening web app written in Rust.
The “Quite OK Image Format” for fast, lossless image compression
A web-based collaborative LaTeX editor
Captcha solver extension for humans, available for Chrome, Edge and Firefox
Automatically generate reddit accounts and use them for vote manipulation
A lightning-fast search engine API bringing AI-powered hybrid search to your sites and applications.
An Immediate UI library for C, designed to be easy to use & customizable