⚽
Focusing
-
management Public
An authority management system based on SSM framework
JavaScript UpdatedDec 16, 2022 -
-
Examples Public
Forked from tlaplus/ExamplesA collection of TLA+ specifications of varying complexities
TLA Other UpdatedJun 24, 2021 -
CRDT-TLA Public
Specifying and Verifying CRDT Protocols using TLA+
-
-
-
-
-
-
-
-
tlaplus-lamport-projects Public
Forked from hengxin/tlaplus-at-nju-disalgLearning [Lamport's TLA+](https://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).
TeX GNU General Public License v3.0 UpdatedDec 18, 2018 -
awesome-distributed-computing Public
Forked from hengxin/awesome-distributed-computingAwesome Resources on Distributed Computing and Distributed Systems
MIT License UpdatedSep 27, 2018 -
-
-
alluxio Public
Forked from Alluxio/alluxioAlluxio, formerly Tachyon, Unify Data at Memory Speed
Java Apache License 2.0 UpdatedApr 10, 2017 -
-
-
software-foundations Public
Forked from tymmym/software-foundationsSolutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.
Coq UpdatedMay 4, 2014