ratmice
Follow
Stars
Open-source weight and body metrics tracker, with support for Bluetooth scales
An easy-to-use recorder and viewer for high-performance traces
LaTeX/MetaPost package for making geometry diagrams in the style of Oliver Byrne's rendition of Euclid's Elements
High-level cxx-based bindings for Ptex https://github.com/wdas/ptex https://crates.io/crates/ptex https://crates.io/crates/ptex-sys
Visualizing Ownership and Borrowing in Rust Programs
Attribute to override the visibility of items (useful in conjunction with cfg_attr)
Port of the regex crate for use with ropes
A procedural, node-based modelling tool, made in rust 🦀
2D vector & raster editor that melds traditional layers & tools with a modern node-based, non-destructive, procedural workflow.
Systems language with linear types and capability-based security.
Simple focus animations for tiling window managers.
A collaborative bibliography of work related to the theory and practice of computational effects
Lean theorem proving interface which feels like pen-and-paper proofs.
The Tectonic reference encyclopedia
General planning and documentation repository for the OCapN protocol suite for distributed networked objects
MLB support for CM (the SML/NJ Compilation and Library Manager)
A mutex used for single-threaded WebAssembly applications
How to add Rust WASM to a vscode web extension