recmo/binius recmo/binius

  • Stars
    star
    19
  • Rank 1,157,403 (Top 23 %)
  • Language
    Rust
  • License
    Apache License 2.0
  • Created 10 months ago
  • Updated 10 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
recmo/binius
github

recmo

Reviews

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

Repository Details

Fork of binius

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

kzg-ceremony-coordinator

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

XCompile

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

zkp-u256

Rust 256-bit unsigned integers.
Rust
9
star
14

rust-static-build

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

proto-ecdsa-plonky2

Rust
8
star
16

mpc-iris-code

Rust
7
star
17

delegated-spartan

Mobile delegated R1CS proving using SpartanNIZK
Rust
6
star
18

proto-goldilocks-webgpu

Prototype WebGPU compute implementation of Goldilocks
Rust
5
star
19

dancing-cells

Rust
4
star
20

fhe-iris-code

Rust
4
star
21

Codecup-2014-Poly-Y

My entry for the 2014 Codecup Poly-Y competition. See http://www.codecup.nl/intro.php.
C++
3
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