Remco Bloemen

PostgrestSkeleton. Skeleton web stack using Docker Compose, PostgreSQL, PostgREST, Nginx and Auth0.

yul. Rust

cria. Tiny inference-only implementation of LLaMA

goldilocks. A library for fast NTTs over the Goldilocks prime field

experiment-solexp. Fixed point solidity exponentiation.

pc-bench. Benchmarking Polynomial Commitments

rust-service-template. Rust

evm-groth16. Groth16 verifier in EVM

cli-batteries. Batteries included command line interfaces.

kzg-ceremony-coordinator. Moved to https://github.com/ethereum/kzg-ceremony-sequencer

zkp-u256. Rust 256-bit unsigned integers.

XCompile. Specify compose key sequences in a simple language.

proto-ecdsa-plonky2. Rust

rust-static-build. Rust build image to create statically compiled binaries.

mpc-iris-code. Rust

proto-goldilocks-webgpu. Prototype WebGPU compute implementation of Goldilocks

delegated-spartan. Mobile delegated R1CS proving using SpartanNIZK

dancing-cells. Rust

fhe-iris-code. Rust

Codecup-2014-Poly-Y. My entry for the 2014 Codecup Poly-Y competition. See http://www.codecup.nl/intro.php.

EntropyCoder. Library for optimal compression using entropy/arithmetic/range coding.

Principia. Futuristic programming, reasoning and proof language

Codecup-2013-Symple. My entry for the 2013 Codecup competition. See http://archive.codecup.nl/2013/.

docker-lets-encrypt-proxy. Nginx Reverse Proxy automatically managing Let's Encrypt certificates

shardtoken. Ethereum token contract for a post-state-rent, post-sharding world.

ico-contracts. JavaScript

candle. Minimalist ML framework for Rust

khinchin. Computes Khinchin's constant

gastoken. ⛽ Tokenize gas on Ethereum with GasToken ⛽

semaphore. A privacy gadget for creating anonymous proof of membership on Ethereum.

pookie-bouncer. ESP32+TMC2209+NEMA17 motor controller for bouncing pookies.

safe-contracts. Safe allows secure management of blockchain assets.

revm. Revolutionary Machine (revm) is a fast Ethereum virtual machine written in rust.

extended-postgresql. Docker image of PostgreSQL with popular extensions

sggc. Boilerplate and tests for the first Solidity Gas Golfing Contest

whir. WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification

dynasm-rs. A dynasm-like tool for rust.

cotracker. Tool to fetch Aranet4 data

BitGovPrototype. BitGov prototype interface

remgo. Computer Go player using MCTS and HashLife inspired information sharing

Codecup-2015-Ayu. C++