muratdem

Working on distributed [systems, databases, consensus, blockchains]. Blogs at http://muratbuffalo.blogspot.com

Buffalo, NY

Pinned Repositories

Examples
A collection of TLA+ specifications of varying complexities
Language:TLA0 0 00
HLC
Language:TLA14 0 00
MDBTLA
High level model for MongoDB consistency
Language:TLA70
muratdem.github.io
0 1 00
PlusCal-examples
Pluscal/TLA+ modeling of distributed systems/protocols
Language:TLA78 5 020
RaftLeaderLeases
TLA+ model for Raft Leader Leases, and linearizable reads from leader
Language:Python20
TLA-seminar
TLA+ introductory seminar examples
Language:TLA4 2 00
tlaplus
TLA+ programs
Language:TLA0 0 00
Examples
A collection of TLA⁺ specifications of varying complexities
Language:TLA1.3k 44 40196
AugmentedTimePython
A project to implement Augmented Time as described by Murat Demirbas in his paper "Beyond TrueTime"
Language:C5 7 01

muratdem's Repositories

muratdem/PlusCal-examples
Pluscal/TLA+ modeling of distributed systems/protocols
Language:TLA78 5 020
muratdem/HLC
Language:TLA14 0 00
muratdem/MDBTLA
High level model for MongoDB consistency
Language:TLA70
muratdem/TLA-seminar
TLA+ introductory seminar examples
Language:TLA4 2 00
muratdem/RaftLeaderLeases
TLA+ model for Raft Leader Leases, and linearizable reads from leader
Language:Python20
muratdem/Examples
A collection of TLA+ specifications of varying complexities
Language:TLA0 0 00
muratdem/muratdem.github.io
0 1 00
muratdem/tlaplus
TLA+ programs
Language:TLA0 0 00