bhgomes Goto Github PK

mu-simulation

Simulation of muons through earth material

oeis

interface to the OEIS

openzl

Zero-Knowledge Cryptography Infrastructure Stack

ord

👁‍🗨 Rare and exotic sats

plonky2

plonky3

A collection of libraries related to polynomial IOPs (PIOPs)

rand

A Rust library for random number generation.

rulesets

a collection of rulesets for qbar and other automated proof frameworks

rust

Empowering everyone to build reliable and efficient software.

rust-phf

Compile time static maps for Rust

rust-smallvec

"Small vector" optimization for Rust: store up to a small number of items on the stack

rust-template

Rust Template — Find & Replace {PROJECTNAME} {PROJECTDESCRIPTION} {USERNAME} {EMAIL}

rust-tutorial

Rust tutorial focused on type-theoretic and mathematical ideas

sealed-rs

Macro for sealing traits and structures

spykeball

a python statistics library for the game of Spikeball®

staticmaps.jl

Static Maps in Julia

streamers

stream utilities

subtornado

subtypes.jl

Custom Subtyping in Julia

tigerbeetle

The distributed financial accounting database designed for mission critical safety and performance.

tracker

particle tracking algorithm

unitfulcurrency.jl

Currencies as Units!

valida

A zkVM with an LLVM frontend

valida-compiler

LLVM backend compiler for the Valida zkVM

wasm-bindgen

Facilitating high-level interactions between Wasm modules and JavaScript

website

some stuff I like to think about, occasionally build

wrapping

Python Wrappers