Augusto Hack's repositories
tree-sitter-masm
Tree sitter grammar for Miden Assembly
a-mir-formality
a model of MIR and the Rust type/trait system
kafka-python
Python client for Apache Kafka
microbit-dev-docs
The content of the tech.microbit.org site
miden-faucet
A faucet for the Miden blockchain
pre-commit-cargo
Simple pre-commit hook description to run system cargo
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
tokio-website
Website for the Tokio project
vim-fugitive
fugitive.vim: A Git wrapper so awesome, it should be illegal
wgsl-bindgen
Generate typesafe Rust bindings for wgsl shaders in wgpu
winterfell
A STARK prover and verifier for arbitrary computations