Stars
Resources for running a proof server, serving Triton VM proofs for faster test suite execution
Spatial LED: a library to help you get the coolest effects possible out of your bedroom LED strips.
intentrace is strace with intent, it goes all the way for you instead of half the way. intentrace is currently in beta
Effortlessly create, group, and nest arbitrary errors, and defer error handling ergonomically.
Block explorer for the Neptune blockchain
Terminal User Interface to help debugging programs written for Triton VM.
A grep-like tool which understands source code syntax and allows for manipulation in addition to search
Code at the speed of thought β Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
A query engine for any combination of data sources. Query your files and APIs as if they were databases!
GTFOBins is a curated list of Unix binaries that can be used to bypass local security restrictions in misconfigured systems
π₯ Blazing fast terminal file manager written in Rust, based on async I/O.
Attribute macro to require that the compiler prove a function can't ever panic
An innovative superfamily of fonts for code
Procedural macro to easily write higher-order strategies in proptest.
π₯ Time Travel Visual Debugger for Rust
A Rust crate for cooking up terminal user interfaces (TUIs) π¨βπ³π https://ratatui.rs
A simple version control system built on top of Git
assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!