Beast code in Giters

TFR's repositories

framework for evaluating (planet-scale) consensus protocols

Language:RustApache-2.0100

Language:C++1 20

the artifact for our OSDI'20 paper

Language:Roff000

Best chess web application, ever

Language:Scala010

Language:Scala030

vim's rebirth for the 21st century

Language:CVim010

Python programs to practice or demonstrate skills.

Language:Jupyter NotebookMIT010

Tendermint in Rust!

Language:RustApache-2.0000

Threshold data structures in Rust!

Language:RustApache-2.0000

Yahoo! Cloud Serving Benchmark

Language:JavaApache-2.0020