recmo/Principia

Stars
1
Language
C++
Created about 11 years ago
Updated about 7 years ago

recmo/Principia

recmo

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Futuristic programming, reasoning and proof language

uint

Rust Uint crate using const-generics

PostgrestSkeleton

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

yul

cria

Tiny inference-only implementation of LLaMA

experiment-solexp

Fixed point solidity exponentiation.

Jupyter Notebook

goldilocks

A library for fast NTTs over the Goldilocks prime field

pc-bench

Benchmarking Polynomial Commitments

Jupyter Notebook

rust-service-template

cli-batteries

Batteries included command line interfaces.

evm-groth16

Groth16 verifier in EVM

binius

kzg-ceremony-coordinator

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

XCompile

Specify compose key sequences in a simple language.

zkp-u256

Rust 256-bit unsigned integers.

rust-static-build

Rust build image to create statically compiled binaries.

proto-ecdsa-plonky2

mpc-iris-code

delegated-spartan

Mobile delegated R1CS proving using SpartanNIZK

proto-goldilocks-webgpu

Prototype WebGPU compute implementation of Goldilocks

dancing-cells

fhe-iris-code

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.

Codecup-2013-Symple

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

shardtoken

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

BitGovPrototype

BitGov prototype interface

remgo

Computer Go player using MCTS and HashLife inspired information sharing

Codecup-2015-Ayu

cotracker

Tool to fetch Aranet4 data

khinchin

Computes Khinchin's constant

extended-postgresql

Docker image of PostgreSQL with popular extensions

pookie-bouncer

ESP32+TMC2209+NEMA17 motor controller for bouncing pookies.