search

DistCompiler / pgo

PGo is a source to source compiler from Modular PlusCal specs into Go programs.
https://distcompiler.github.io/
Apache License 2.0
173 stars 13 forks source link

Raft KVS #210

Closed shayanh closed 2 years ago

shayanh commented 2 years ago

A KVS built on top of Raft. I didn't implement read optimization since it just saves a write to the log but adds too much complexity.