A Gaggia Classic control project using microcontrollers.

Embree ray tracing kernels repository.

💡 Experimental real-time global illumination renderer 🦀

Retro coding in C/C++ in a 3D template with full low-level control.

Transportation planning and traffic simulation software for creating cities friendlier to walking, biking, and public transit

💻 Ability to rename desktop spaces on macOS 10.10+

Toy CPU and GPU implementations of the Slug rendering algorithm

A formalized proof of a version of the initiality conjecture

A cool physics based 2d game made with Python and Kivy!

A simple Minecraft clone written in C using modern OpenGL (shaders).

an app to download pictures and videos stored in your Google Photos

Implementation of Immix Mark-Region Garbage collector written in Rust Programming Language.

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

High level vulkan 2D vector-like graphics api (C++)

minimetamix - a collection of simple and minimalistic items

A refreshingly simple data-driven game engine built in Rust

egg is a flexible, high-performance e-graph library

A language with lexical effect handlers and lightweight effect polymorphism

a datalog interpreter in typescript

A modular implementation of timely dataflow in Rust

The live data layer for apps and AI agents. Create up-to-the-second views into your business, just using SQL

A data-first Rust-native UI design toolkit.

Truly cross platform, truly native. multiple backend GUI for rust

Automatic music transcription using semantic segmentation model. Reached state-of-the-art score on MAPS and MusicNet.

A sand simulation game

A Jekyll theme for automatically generating and deploying landing page sites for mobile apps.

Java bindings for Skia

Prototype implementations of systems based on setoid type theory

An asynchronous programming facility for Scala