mtopchii's Stars
holmgr/cargo-sweep
A cargo subcommand for cleaning up unused build files generated by Cargo
pacak/bpaf
Command line parser with applicative interface
n7space/aerugo
Safety-critical applications oriented Real-Time Operating System written in Rust
model-checking/kani
Kani Rust Verifier
cea-sec/usbsas
Tool and framework for securely reading untrusted USB mass storage devices.
nlsandler/write_a_c_compiler
Test suite to help you write your own C compiler
dtolnay/no-panic
Attribute macro to require that the compiler prove a function can't ever panic
lsd-rs/lsd
The next gen ls command
extrawurst/gitui
Blazing 💥 fast terminal-ui for git written in rust 🦀
lxc/incus
Powerful system container and virtual machine manager
gbaranski/ezsockets
High-level declarative API for building WebSocket Clients and Servers in Rust 🦀
ratatui/ratatui
Rust library that's all about cooking up terminal user interfaces (TUIs) 👨🍳🐀
stevegrunwell/asimov
Automatically exclude development dependencies from Apple Time Machine backups
crytic/slither
Static Analyzer for Solidity and Vyper
kkailiwang/erc20r
giddyphysicist/ParallelSwapForRefFinance
Gitcoin Bounty - Open Defi Hackathon Submission for Parallel Swap in Ref Finance on Near.