Use your tablet as graphic tablet/touch screen on your computer.

The main repository for the development of the evolution game Thrive.

Java library for (weighted) finite state automata. Acceptors, transducers, and multi-tape automata are supported.

A curated collection of diagramming tools used by leading software engineering teams

A web component for visual art and creative coding

Combustion engine simulation game that generates realistic audio.

tic-tac-toe in a single call to printf

The history and future of Java.

A digital museum of video game levels

Simple NodeJS website that helps you practice reading Japanese words using Hiragana and Katakana. Once you've learned the individual characters, practice sounding out whole words, and learn Japanes…

Combustion engine simulator that generates realistic audio.

Nintendo 3DS "Custom Firmware"

A library for visualization and creative-coding

Postmortem debugging tools for MinGW.

God's actual programming language.

Luanti (formerly Minetest) is an open source voxel game-creation platform with easy modding and game creation

Anki is a smart spaced repetition flashcard program

Automatic test generation for Java

Freestanding fast input/output for C++20

DDraceNetwork, a free cooperative platformer game

Spoon is a metaprogramming library to analyze and transform Java source code. 🥄 is made with ❤️, 🍻 and ✨. It parses source files to build a well-designed AST with powerful analysis and transformati…

A Java program synthesizer.

Gamification of Mutation Testing

AddressSanitizer, ThreadSanitizer, MemorySanitizer

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!