jinlmsft - Overview
Popular repositories Loading
-
raft.tla raft.tla Public
Forked from ongardie/raft.tla
TLA+ specification for the Raft consensus algorithm
-
QianJiangYuan QianJiangYuan Public
-
fairseq fairseq Public
Forked from facebookresearch/fairseq
Facebook AI Research Sequence-to-Sequence Toolkit written in Python.
Python 2
-
iOSplayground iOSplayground Public
Swift
-
Prajna Prajna Public
Forked from MSRCCS/Prajna
Prajna: A Distributed Functional Programming Platform for Interactive Big Data Analytics and Cloud Service Building
F# 1


