Lists (21)
consensus, crdt, sync
6 repositories
Cool data structures, algorithms
1 repository
Crypto algos, libs
54 repositories
edu
46 repositories
fun
8 repositories
hackerish
38 repositories
hardware
78 repositories
homelab
61 repositories
htmz
10 repositories
lambda, coc, fp
10 repositories
Lean
185 repositories
local-first
63 repositories
P2P Data structures, DBs
19 repositories
P2P Networking
11 repositories
PrettyStuff
32 repositories
Sol
6 repositories
sqlite
5 repositories
urbit
161 repositories
Utils
17 repositories
WASM
11 repositories
Zig
2 repositories
Starred repositories
5
stars
written in Rocq Prover
Clear filter
Language for high-assurance and high-speed cryptography
A mechanisation of Wasm in Coq(Rocq)
Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.