Augusto Hack's repositories
winterfell
A STARK prover and verifier for arbitrary computations
microbit
A Rust crate for BBC micro:bit development
podman
Podman: A tool for managing OCI containers and pods.
miden-faucet
A faucet for the Miden blockchain
wgpu
Cross-platform, safe, pure-rust graphics api.
wgsl-bindgen
Generate typesafe Rust bindings for wgsl shaders in wgpu
crypto
Cryptographic primitives used in Polygon Miden rollup
microbit-dev-docs
The content of the tech.microbit.org site
a-mir-formality
a model of MIR and the Rust type/trait system
tokio
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
tokio-website
Website for the Tokio project
dafny
Dafny is a verification-aware programming language
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
serde
Serialization framework for Rust
kafka-python
Python client for Apache Kafka
tree-sitter-masm
Tree sitter grammar for Miden Assembly
pre-commit-cargo
Simple pre-commit hook description to run system cargo
miden
STARK-based virtual machine
vim-fugitive
fugitive.vim: A Git wrapper so awesome, it should be illegal
spec
Spec of the Raiden Network protocol
wasm-pack
📦✨ your favorite rust -> wasm workflow tool!