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
A Rust crate for BBC micro:bit development
microbit-dev-docs
The content of the tech.microbit.org site
miden
STARK-based virtual machine
miden-faucet
A faucet for the Miden blockchain
podman
Podman: A tool for managing OCI containers and pods.
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
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
tokio-website
Website for the Tokio project
vim-fugitive
fugitive.vim: A Git wrapper so awesome, it should be illegal
wgpu
Cross-platform, safe, pure-rust graphics api.
wgsl-bindgen
Generate typesafe Rust bindings for wgsl shaders in wgpu
winterfell
A STARK prover and verifier for arbitrary computations