recmo/cotracker recmo/cotracker

  • Stars
    star
    1
  • Language
    Rust
  • Created about 2 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
recmo/cotracker
github

recmo

Reviews

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

Repository Details

Tool to fetch Aranet4 data

More Repositories

1

uint

Rust Uint crate using const-generics
Rust
171
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

icao-9303

Reader for ICAO 9303 electronic machine readable travel documents.
Rust
11
star
14

XCompile

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

zkp-u256

Rust 256-bit unsigned integers.
Rust
9
star
16

rust-static-build

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

proto-ecdsa-plonky2

Rust
8
star
18

delegated-spartan

Mobile delegated R1CS proving using SpartanNIZK
Rust
7
star
19

mpc-iris-code

Rust
7
star
20

proto-goldilocks-webgpu

Prototype WebGPU compute implementation of Goldilocks
Rust
5
star
21

dancing-cells

Rust
4
star
22

fhe-iris-code

Rust
4
star
23

Codecup-2014-Poly-Y

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

EntropyCoder

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

Codecup-2013-Symple

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

shardtoken

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

BitGovPrototype

BitGov prototype interface
CSS
1
star
28

Codecup-2015-Ayu

C++
1
star
29

remgo

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

Principia

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

khinchin

Computes Khinchin's constant
Rust
1
star
32

extended-postgresql

Docker image of PostgreSQL with popular extensions
Makefile
1
star
33

pookie-bouncer

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