Leviathan Leviathan1995

Pinned repositories

1. Qihoo360/pika

   Pika is a nosql compatible with redis, it is developed by Qihoo's DBA and infrastructure team

   C++ 2.2k 451

2. Pylsy

   Pylsy is a simple python library draw tables in the Terminal.Just two lines of code .

   Python 471 40

3. fari-proxy

   一个自由上网的代理工具🔭

   Go 102 22

4. pyessh

   A tool for easy to use SSH execute commands at multi-server

   Python 7

5. Learn-TLA-cn

   TLA+教程中文翻译(待完成)

   7

6. raft.tla

   TLA+ specification for the Raft consensus algorithm

   TLA 2