hackaugusto

dotfiles

dotfiles

notes

Things that I want to remember myself about programming

tree-sitter-masm

Tree sitter grammar for Miden Assembly

combine

A parser combinator library for Rust

a-mir-formality

a model of MIR and the Rust type/trait system

crypto

Cryptographic primitives used in Polygon Miden rollup

dafny

Dafny is a verification-aware programming language

dataclasses

kafka-python

Python client for Apache Kafka

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

mac-exe

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-diagnostics

miden-faucet

A faucet for the Miden blockchain

mypy

Optional static typing for Python 3 and 2 (PEP 484)

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

serde

Serialization framework for Rust

serde-rs.github.io

spec

Spec of the Raiden Network protocol

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

wasm-pack

📦✨ your favorite rust -> wasm workflow tool!

webgpufundamentals

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