a smol tcp/ip stack

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

A simple CAD package using signed distance functions

A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.

Open Source Keyboards

An implementation of differential dataflow using timely dataflow on Rust.

µCSV - a small CSV parsing and exporting library

An arduino sketch to turn your pc into the top of the line telegraph of 1891! (Using a pro micro or simillar).

10 differentiable physical simulators built with Taichi differentiable programming (DiffTaichi, ICLR 2020)

My fork of https://github.com/taichi-dev/taichi

libvim: The core Vim editing engine as a minimal C library

The single instruction C compiler

Pocket coroutine library

The public CGAL repository, see the README below

👑 Functional WebGL

scrollers > steppers

A deployment system, with design goals 1: Magic and 2: More Magic

Algebraic graphs

Filmulator --- Simplified raw editing with the power of film

Rendering algorithms implemented in raw WebGL 2.

Keera Hails: Haskell on Rails - Reactive Programming Framework for Interactive Haskell applications

A fast and flexible keyboard launcher

🌳 Low-contrast Vim color scheme based on Seoul Colors

Single-header program options parsing library for C++11

A simple commandline diff-tool