Pinned Repositories
awesome-consensus
Awesome list for Paxos and friends
beem-benchmark
The BEEM model-checking benchmark from http://paradise.fi.muni.cz/beem/
ck
Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance concurrent systems developed in C99+.
ckrs
Rust CK
concoord
Coordination Service for Distributed Systems
crossbeam
Tools for concurrent programming in Rust
DrTLAPlus
Dr. TLA+ series
ensemble
The Ensemble Distributed Communication System
Ethereal
Ethereal, a UCI Chess Engine by Andrew Grant & Laldon
malbertoni's Repositories
malbertoni/awesome-consensus
Awesome list for Paxos and friends
malbertoni/beem-benchmark
The BEEM model-checking benchmark from http://paradise.fi.muni.cz/beem/
malbertoni/ck
Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance concurrent systems developed in C99+.
malbertoni/ckrs
Rust CK
malbertoni/concoord
Coordination Service for Distributed Systems
malbertoni/crossbeam
Tools for concurrent programming in Rust
malbertoni/DrTLAPlus
Dr. TLA+ series
malbertoni/ensemble
The Ensemble Distributed Communication System
malbertoni/Ethereal
Ethereal, a UCI Chess Engine by Andrew Grant & Laldon
malbertoni/Examples
A collection of TLA+ specifications of varying complexities
malbertoni/fishnet
Distributed Stockfish analysis for lichess.org
malbertoni/lc0
The rewritten engine, originally for tensorflow. Now all other backends have been ported here.
malbertoni/lczero-training
For code etc relating to the network training process.
malbertoni/leela-chess-weights
Important Weights and Ratings
malbertoni/lila
♞ lichess.org: the forever free, adless and open source chess server ♞
malbertoni/nidhugg
Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is particularly useful for programs written in C/pthreads. Currently Nidhugg supports the SC, TSO, PSO, POWER and ARM (partial) memory models.
malbertoni/Pleco
A Rust-based re-write of the Stockfish Chess Engine
malbertoni/PlusCal-examples
Pluscal/TLA+ modeling of distributed systems/protocols
malbertoni/polyglot
Polyglot chess opening book program
malbertoni/ppopp16
Multi-Core On-The-Fly SCC Decomposition
malbertoni/scalachess
Chess API written in scala. Immutable and free of side effects.
malbertoni/Stockfish
UCI chess engine
malbertoni/tla-mode
Major mode for editing TLA+ specifications
malbertoni/tla-mode-1
tla-mode for emacs