Stars
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Bundle Nix derivations to run anywhere! [maintainer=@matthewbauer, @Artturin]
Declarative disk partitioning and formatting using nix [maintainers=Lassulus Enzime iFreilicht Mic92 phaer]
Minimal NixOS running on RK3588/RK3588s based SBC(Orange Pi 5 Plus, Orange Pi 5, Rock 5A, etc)
Tvix - A Rust implementation of Nix. Read-only mirror of https://code.tvl.fyi/tree/tvix
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
Find habits that genuinely increase your productivity
Checks all your documentation for spelling and grammar mistakes with hunspell and a nlprule based checker for grammar
Creusot helps you prove your code is correct in an automated fashion.
Rust library for running TensorRT accelerated deep learning models
This is an implementation of IBM's Quantum Experience in simulation; a 5-qubit quantum computer with a limited set of gates. Please cite me if you end up using this academically.
Minimal distributed configuration management in bash
A curated list of Rust code and resources.
Embedded graphics library to create beautiful UIs for any MCU, MPU and display type.
Master programming by recreating your favorite technologies from scratch.