Stars
Kulfi: Open Source, General Purpose, Sovereign, Decentralized, Peer to Peer Internet
Download the entire Wayback Machine archive for a given URL.
Weighs the soul of incoming HTTP requests to stop AI crawlers
Execute Rust code carefully, with extra checking along the way
A tool to control your Galaxy buds+, Live, Buds Pro and Buds 2 Pro
A multi-arch library implementing the Argon2 password hashing algorithm.
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
Access a database of word frequencies, in various natural languages.
HTML conversion of a great beginner calculus book
OpenSSF Working Group on Securing Software Repositories
Quickly build and run kernels inside a virtualized snapshot of your live system
Source code of Ferrocene, safety-critical Rust toolchain
Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.
cognitive-engineering-lab / rust-book
Forked from rust-lang/bookThe Rust Programming Language: Experimental Edition
Interactive visualizations of Rust at compile-time and run-time
A package for building AequilibraE transport models from open data sources
Converter from LaTeX to ebook formats (epub, mobi). Using tex4ht and texlua scripts.
My solutions of some problems from the Code Forces website https://codeforces.com/
The design and algorithms used in Cacheus are described in this USENIX FAST'21 paper and talk video: https://www.usenix.org/conference/fast21/presentation/rodriguez