The WebAssembly Binary Toolkit

A powerful, feature-rich and highly performant internal cheat for the co-op indie horror video game, Lethal Company.

A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.

F´ - A flight software and embedded systems framework

A planetarium for your terminal! Explore stars, planets, constellations, and more, all rendered right in the command line—no telescope required. ✨🪐

A small node script that will communicate with a qmk keyboard over raw hid

shader-like effects library for ratatui applications

An extremely fast Python package and project manager, written in Rust.

Rust keyboard firmware library with layers, macros, real-time keymap editing, wireless(BLE) and split support

Tool for live presentations using manim

A Linux program to handle GPU switching on Optimus laptops.

OLED animations for QMK

A driver for ublox gps

A new markup-based typesetting system that is powerful and easy to learn.

The Space ROS meta operating system for space robotics.

xrdp: an open source RDP server

nivo provides a rich set of dataviz components, built on top of the awesome d3 and React libraries

CH341SER driver with fixed bug

a simple oscilloscope/vectorscope/spectroscope for your terminal

☄️ Highly customisable markdown(latex & inline html) previewer for Neovim

Easily document cables and wiring harnesses.

A little mesh raycasting plugin for Bevy

Experimental reservation library in rust.

Elegantly record your screen

Experimental visualizer for dense buildings in RMF

A massively parallel, high-level programming language

Multi-agent (path finding) planning framework

A refreshingly simple data-driven game engine built in Rust

CAD model for a James Gurney-style Sketch Easel

NUS CS, math & statistics cheatsheets