Nuke π's repositories
gevulot-docs
Documentation for the Gevulot project
r0-prover-on-gevulot-example
Experiments @ https://zkhack.dev/ Krakow 2024
risc-zero-verifier
risc-zero-verifier
risc0-client-server-proof-composition
RISC Zero Workshop: On-chain Privacy Preserving Proofs using Composition & Bonsai
book-1
A book on all things Foundry, available at https://book.getfoundry.sh.
cargo-component
A Cargo subcommand for creating WebAssembly components based on the component model proposal.
cargo-component-workspace-bindings
example for issue
component-docs
Documentation around creating and using WebAssembly Components
crux
Cross-platform app development in Rust
cv
A no-frills curriculum vitae (CV) template using Typst and YAML to version control CV data.
gevulot-risc0-integration
GevuRisc - Risc0 prover/verifier integration for Gevulot.
gitui
Blazing π₯ fast terminal-ui for git written in rust π¦
helix
A post-modern modal text editor.
kampela-firmware
Firmware sources and associated software projects for the Kampela hardware signer
leptos-book
The home for the Leptos book, which can be found deployed at https://book.leptos.dev
lychee
β‘ Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!
mlc
Check for broken links in markup files
risc0-v1-chess
Example derived from https://github.com/risc0/risc0/tree/v1.0.1/examples/chess
rust-wasix
Rust with WASIX targets.
tabby
Self-hosted AI coding assistant
tree-sitter-typst
Tree Sitter grammar for Typst
wit-bindgen
A language binding generator for WebAssembly interface types
x25519-dalek
X25519 elliptic curve Diffie-Hellman key exchange in pure-Rust, using curve25519-dalek.