Simple DirectMedia Layer

Catch-all repo for some tinkering with 2-adic numbers

Box2D is a 2D physics engine for games

Simple raylib implementation for Android

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

Less than 100 Kilobytes. Works for Android 5.1 and above

Build android apps without any java, entirely in C and Make

An automated approach to the Collatz conjecture

Description of the .tbt TabIt file format

A C++ parser and MIDI converter for .tbt TabIt files

Mathematical proofs of the bbchallenge project.

Clojure support for Sublime Text 4

Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)

Find and report problems in Wolfram Language code

The Z3 Theorem Prover

Creates spectrum generators for supersymmetric and non-supersymmetric models

Convergence verification of the Collatz problem

Format Wolfram Language source code

A simple, yet aHmazing arabic programming language meant to light up your day

A Python module for controlling interactive programs in a pseudo-terminal

Ravi is a dialect of Lua, featuring limited optional static typing, JIT and AOT compilers

A brief computer graphics / rendering course

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

A toolbox for algorithmic remixing, after Echo Nest Remix

MovSim: multi-model open-source vehicular-traffic simulator

Echo Nest Remix: The (JavaScript) Internet Synthesizer

GoogleTest - Google Testing and Mocking Framework

Chez Scheme

Desktop/Android/HTML5/iOS Java game development framework