Lists (23)
BEAM
2 repositories
blockchain
14 repositories
consensus, crdt, sync
10 repositories
Cool data structures, algorithms
1 repository
cryptography
70 repositories
edu
53 repositories
fun
14 repositories
hackerish
52 repositories
hardware, robotics
98 repositories
homelab
79 repositories
lambda, coc, fp
14 repositories
Lean
256 repositories
local-first
73 repositories
p2p (data structures, dbs)
26 repositories
p2p (networking)
20 repositories
PrettyStuff
37 repositories
sqlite
9 repositories
(unused) 1
(unused) 2
urbit
178 repositories
Utils
29 repositories
WASM
18 repositories
zig
5 repositories
Starred repositories
2
results
for source starred repositories
written in Isabelle
Clear filter
A mechanisation of Wasm in Isabelle.