纪业's repositories
-Redis-List-OT-
2018本科毕业设计
alluxio
Alluxio, formerly Tachyon, Unify Data at Memory Speed
Language:JavaApache-2.0000
awesome-distributed-computing
Awesome Resources on Distributed Computing and Distributed Systems
MIT000
NASAC-2019
oral presentation & poster presentation
poster-template
templates for conference poster
Examples
A collection of TLA+ specifications of varying complexities
Language:TLANOASSERTION000
Java-interview
一些经典的Java面试题目
management
An authority management system based on SSM framework
online-dictionary
java homework
Language:Java000
RGA
RGA verification based on TLA+
Language:TLA000
software-foundations
Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.
Language:Coq000
Language:Coq000
tlaplus-lamport-projects
Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).
Language:TeXGPL-3.0000