• Stars
    star
    3
  • Rank 3,947,104 (Top 79 %)
  • Language
    C++
  • Created almost 11 years ago
  • Updated over 10 years ago

Reviews

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

Repository Details

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

More Repositories

1

uint

Rust Uint crate using const-generics
Rust
169
star
2

PostgrestSkeleton

Skeleton web stack using Docker Compose, PostgreSQL, PostgREST, Nginx and Auth0.
JavaScript
109
star
3

yul

Rust
101
star
4

cria

Tiny inference-only implementation of LLaMA
Python
91
star
5

experiment-solexp

Fixed point solidity exponentiation.
Jupyter Notebook
74
star
6

goldilocks

A library for fast NTTs over the Goldilocks prime field
Rust
71
star
7

pc-bench

Benchmarking Polynomial Commitments
Jupyter Notebook
47
star
8

rust-service-template

Rust
22
star
9

cli-batteries

Batteries included command line interfaces.
Rust
21
star
10

evm-groth16

Groth16 verifier in EVM
Solidity
19
star
11

binius

Fork of binius
Rust
19
star
12

kzg-ceremony-coordinator

Moved to https://github.com/ethereum/kzg-ceremony-sequencer
Rust
17
star
13

XCompile

Specify compose key sequences in a simple language.
Python
9
star
14

zkp-u256

Rust 256-bit unsigned integers.
Rust
9
star
15

rust-static-build

Rust build image to create statically compiled binaries.
Dockerfile
8
star
16

proto-ecdsa-plonky2

Rust
8
star
17

mpc-iris-code

Rust
7
star
18

delegated-spartan

Mobile delegated R1CS proving using SpartanNIZK
Rust
6
star
19

proto-goldilocks-webgpu

Prototype WebGPU compute implementation of Goldilocks
Rust
5
star
20

dancing-cells

Rust
4
star
21

fhe-iris-code

Rust
4
star
22

EntropyCoder

Library for optimal compression using entropy/arithmetic/range coding.
C++
3
star
23

Codecup-2013-Symple

My entry for the 2013 Codecup competition. See http://archive.codecup.nl/2013/.
C++
2
star
24

shardtoken

Ethereum token contract for a post-state-rent, post-sharding world.
JavaScript
2
star
25

BitGovPrototype

BitGov prototype interface
CSS
1
star
26

remgo

Computer Go player using MCTS and HashLife inspired information sharing
C++
1
star
27

Codecup-2015-Ayu

C++
1
star
28

Principia

Futuristic programming, reasoning and proof language
C++
1
star
29

cotracker

Tool to fetch Aranet4 data
Rust
1
star
30

khinchin

Computes Khinchin's constant
Rust
1
star
31

extended-postgresql

Docker image of PostgreSQL with popular extensions
Makefile
1
star
32

pookie-bouncer

ESP32+TMC2209+NEMA17 motor controller for bouncing pookies.
C++
1
star