Pinned Repositories
contracts.py
Contracts for python
dotfiles
dotfiles
httpparser.py
jade.php
Jade template engine ported to PHP 5.3
metrics.py
mix.py
notes
Things that I want to remember myself about programming
pipe.py
Easy argument chaining
tinyarch
Generates the smallest bootable iso to run pacman
tree-sitter-masm
Tree sitter grammar for Miden Assembly
hackaugusto's Repositories
hackaugusto/dotfiles
dotfiles
hackaugusto/notes
Things that I want to remember myself about programming
hackaugusto/tree-sitter-masm
Tree sitter grammar for Miden Assembly
hackaugusto/combine
A parser combinator library for Rust
hackaugusto/munus
hackaugusto/a-mir-formality
a model of MIR and the Rust type/trait system
hackaugusto/crypto
Cryptographic primitives used in Polygon Miden rollup
hackaugusto/dafny
Dafny is a verification-aware programming language
hackaugusto/dataclasses
hackaugusto/kafka-python
Python client for Apache Kafka
hackaugusto/mac-exe
hackaugusto/microbit
A Rust crate for BBC micro:bit development
hackaugusto/microbit-dev-docs
The content of the tech.microbit.org site
hackaugusto/miden
STARK-based virtual machine
hackaugusto/miden-diagnostics
hackaugusto/miden-faucet
A faucet for the Miden blockchain
hackaugusto/podman
Podman: A tool for managing OCI containers and pods.
hackaugusto/pre-commit-cargo
Simple pre-commit hook description to run system cargo
hackaugusto/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
hackaugusto/serde
Serialization framework for Rust
hackaugusto/serde-rs.github.io
hackaugusto/spec
Spec of the Raiden Network protocol
hackaugusto/tokio
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
hackaugusto/tokio-website
Website for the Tokio project
hackaugusto/vim-fugitive
fugitive.vim: A Git wrapper so awesome, it should be illegal
hackaugusto/wasm-pack
📦✨ your favorite rust -> wasm workflow tool!
hackaugusto/webgpufundamentals
hackaugusto/wgpu
Cross-platform, safe, pure-rust graphics api.
hackaugusto/wgsl-bindgen
Generate typesafe Rust bindings for wgsl shaders in wgpu
hackaugusto/winterfell
A STARK prover and verifier for arbitrary computations