Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: tlaps
hengxin/tlaps-examples
Examples for TLAPS (TLA+ Proof System)
Language: TeX - Size: 4.76 MB - Last synced: about 1 month ago - Pushed: about 4 years ago - Stars: 9 - Forks: 6
lemmy/BlockingQueue
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
Language: TLA - Size: 18.2 MB - Last synced: 3 months ago - Pushed: 11 months ago - Stars: 474 - Forks: 20
gitcordier/MarkdownToLaTeX
Markdown to LaTeX
Language: Python - Size: 609 KB - Last synced: 19 days ago - Pushed: 11 months ago - Stars: 0 - Forks: 1
gitcordier/md2latex Fork of kavinyao/md2latex
Markdown to LaTeX. Specs in TLA+
Language: Python - Size: 2.33 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 2 - Forks: 0
hengxin/tlaplus-at-nju-disalg
Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).
Language: TeX - Size: 231 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 10 - Forks: 7
hengxin/jupiter-refinement-project
Jupiter Refinement Project
Language: TeX - Size: 55.9 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0
hengxin/formal-methods
Formal Methods
Size: 3.65 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
hengxin/paxosstore-tla Fork of Starydark/PaxosStore-tla
TLA+ model checking and TLAPS theorem proving for the Paxos implementation in PaxosStore by WeChat
Language: TLA - Size: 3.71 MB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 1