Lists (32)
algorithms
5 repositories
caches
1 repository
cloudflare
1 repository
codeql
2 repositories
CRDTs
1 repository
Data analysis
3 repositories
devsecops
64 repositories
eBPF
8 repositories
effect-ts
1 repository
formal
3 repositories
FP
5 repositories
graph
5 repositories
haskell-fp
2 repositories
homelab
3 repositories
Learn Rust
9 repositories
microbiology
3 repositories
ml
31 repositories
mojo
3 repositories
Parsers
1 repository
radio
1 repository
rag
3 repositories
replist
1 repository
sbom
1 repository
siem
77 repositories
sonarcube
1 repository
tauri
1 repository
tools
22 repositories
ui
4 repositories
viz
4 repositories
zfs
3 repositories
zio
1 repository
zulip
1 repository
Stars
7
stars
written in TLA
Clear filter
A collection of TLA⁺ specifications of varying complexities.
Dr. TLA+ series - learn an algorithm and protocol, study a specification
Source Code for 'Practical TLA+' by Hillel Wayne
Learn TLA+ for free! No prior experience necessary!
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
A TLA+ specification of the Apache BookKeeper replication protocol
TLA+ specification of the Ceph consensus algorithm