Lists (23)
BEAM
2 repositories
blockchain
11 repositories
consensus, crdt, sync
10 repositories
Cool data structures, algorithms
1 repository
cryptography
62 repositories
edu
48 repositories
fun
14 repositories
hackerish
47 repositories
hardware, robotics
95 repositories
homelab
75 repositories
lambda, coc, fp
13 repositories
Lean
221 repositories
local-first
69 repositories
p2p (data structures, dbs)
26 repositories
p2p (networking)
19 repositories
PrettyStuff
37 repositories
sqlite
8 repositories
(unused) 1
(unused) 2
urbit
176 repositories
Utils
29 repositories
WASM
18 repositories
zig
5 repositories
Starred repositories
6
results
for source starred repositories
written in Rocq Prover
Clear filter
The CompCert formally-verified C compiler
Language for high-assurance and high-speed cryptography
Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.