Topic: tla-specification Goto Github
Some thing interesting about tla-specification
Some thing interesting about tla-specification
tla-specification,A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
User: decanus
tla-specification,TLA+ specification of the parser for BIP32 path templates
User: dgpv
tla-specification,TLA+ specification for Succinct Atomic Swap smart contract
User: dgpv
tla-specification,An instructional website with progressively worked examples of TLA+ specifications and model checking.
User: elliotswart
Home Page: https://elliotswart.github.io/pragmaticformalmodeling/
tla-specification,TLA+ specification of Fast Flexible Paxos
Organization: fpaxos
Home Page: https://arxiv.org/abs/2008.02671
tla-specification,TLA+ specification of Flexible Paxos
Organization: fpaxos
Home Page: http://drops.dagstuhl.de/opus/volltexte/2017/7094/pdf/LIPIcs-OPODIS-2016-25.pdf
tla-specification,Markdown to LaTeX
User: gitcordier
Home Page: https://pypi.org/project/MarkdownToLaTeX/
tla-specification,
User: gitcordier
tla-specification,📜 WIP Hop Protocol TLA+ Specification
Organization: hop-protocol
Home Page: https://github.com/hop-protocol/spec/
tla-specification,Synchronous fault-tolerant distributed algorithms encoded in TLA+
User: istoilkovska
tla-specification,A gently curated list of companies using verification formal methods in industry
User: ligurio
tla-specification,A collection of various TLA+ examples and helper functions for learning.
User: miguelmota
Home Page: https://github.com/miguelmota/tla-cookbook
tla-specification,Some examples and notes while learning TLA+ modeling language.
User: miguelmota
Home Page: https://github.com/miguelmota/tla-learning
tla-specification,TLA+
User: runze-wu
Home Page: https://lamport.azurewebsites.net/tla/tla.html
tla-specification,TLA Specification for the "Wolf, goat, and cabbage" puzzle (https://en.wikipedia.org/wiki/Wolf,_goat_and_cabbage_problem)
User: semperos
tla-specification,TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus
Organization: tezedge
tla-specification,TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Organization: tlaplus
tla-specification,The TLA+ Video Course by Leslie Lamport
Organization: tlaplus
Home Page: https://lamport.azurewebsites.net/video/videos.html
tla-specification,TLA+ specification of a TCP/IP 3-way handshake in multi-client environment.
User: vedantpimpley
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.