Stars
Open source comprehensive 2D content creation tool suite for graphic design, digital art, and interactive real-time motion graphics — featuring node-based procedural editing
Hypergraph is data structure library to create a directed hypergraph in which a hyperedge can join any number of vertices.
Reindeer is a tool to transform Rust Cargo dependencies into generated Buck build rules
A secure embedded operating system for microcontrollers
A collaborative bibliography of work related to the theory and practice of computational effects
A garden of small programming language implementations 🪴
Open-source weight and body metrics tracker, with support for Bluetooth scales
A collection of tools for writing technical documents that mix Coq code and prose.
An async Rust wrapper around the BlueZ D-Bus interface, for Bluetooth central functionality on Linux.
A library to produce syntax diagrams as Scalable Vector Graphics
A repo for GEOG-414 (Spatial Data Management) at the University of Tennessee
🦀 Find the minimum supported Rust version (MSRV) for your project
General planning and documentation repository for the OCapN protocol suite for distributed networked objects
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Native cross-platform full feature terminal-based sequence editor for git interactive rebase.
🏋 Modern open-source fitness coaching platform. Create workout plans, track progress, and access a comprehensive exercise database.
Lean theorem proving interface which feels like pen-and-paper proofs.
IO-agnostic line editor for embedded systems
Append-only collections for Rust where borrows to entries can outlive insertions
An open-source, customizable intermediate logic textbook