A modular ergonomic columar staggered keyboard

PMW3360 SPI Breakout Board

Trackball sensor + models for Crosses/Bridges

PMW3360 optical mouse sensor breakout board, support both 3.3V and 1.8V logic

Hardware and software researches and upgrades for Flashforge adventurer M5/M5 PRO

Unoffical mod for Flashforge Adventurer 5M (Pro) 3D printers to run Moonraker, custom Klipper, Mainsail & Fluidd

Exploration of using Storage instead of Allocator to parameterize collections in Rust

The Hylo programming language

Automatically exported from code.google.com/p/intuitionistic

A post-modern modal text editor.

Compiler optimizer for arbitrary control flow based on equality saturation

Firmware for the Striso board designed for a more dynamic sound

Firmware for the Striso board

Papers from the computer science community to read and discuss.

Systems language with linear types and capability-based security.

Dependently-typed row-polymorphic programming language, evolved from minitt-rs

Functional programming with fewer indirections

Dependent type checker using normalisation by evaluation

Constant-time dynamic memory allocator in Rust

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

C++ math library for 2D/3D/4D vector, matrix, quaternion, and geometric algebra.

Research WebAssembly Engine

A collection of programming languages and type systems.

A massively parallel, optimal functional runtime in Rust

A fast, simple, lossless image file format.

Message-passing system for networking with Geese.

Dead-simple game event system for Rust.

high-performance cubical evaluation

The Linux perf GUI for performance analysis.