Topic: tlaplus Goto Github
Some thing interesting about tlaplus
Some thing interesting about tlaplus
tlaplus,A static web application to explore and animate a TLA+ state graph.
User: afonsonf
tlaplus,APALACHE: symbolic model checker for TLA+ and Quint
Organization: apalache-mc
Home Page: https://apalache-mc.org/
tlaplus,A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
User: decanus
tlaplus,TLA+ specification for Succinct Atomic Swap smart contract
User: dgpv
tlaplus,Generate (message) sequence diagrams from TLA+ state traces
User: eras
tlaplus,Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Organization: fizzbee-io
Home Page: https://fizzbee.io
tlaplus,Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache
Organization: freespek
tlaplus,Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).
User: hengxin
tlaplus,Examples for TLAPS (TLA+ Proof System)
User: hengxin
tlaplus,Learn TLA+ for free! No prior experience necessary!
User: hwayne
Home Page: https://www.learntla.com
tlaplus,Advanced fuzzing via Model Based Testing for Cosmos blockchains
Organization: informalsystems
tlaplus,Model-based testing tool
Organization: informalsystems
Home Page: https://mbt.informal.systems
tlaplus,Utilities for the TLA+ ecoystem and model-based testing using TLA+.
Organization: informalsystems
tlaplus,An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Organization: informalsystems
tlaplus,Material for a workshop on Apalache and TLA+. To be populated with more examples.
Organization: informalsystems
tlaplus,TLA+ questions, answers, and experiments
User: isaac-defrain
tlaplus,Synchronous fault-tolerant distributed algorithms encoded in TLA+
User: istoilkovska
tlaplus,Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
User: lemmy
Home Page: https://youtu.be/wjsI0lTSjIo
tlaplus,Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
User: lemmy
tlaplus,Proving a blocking queue deadlock free in a dozen different ways
User: lemmy
tlaplus,A gently curated list of companies using verification formal methods in industry
User: ligurio
tlaplus,Reading the linearizability paper with TLA+
User: lorin
tlaplus,A collection of various TLA+ examples and helper functions for learning.
User: miguelmota
Home Page: https://github.com/miguelmota/tla-cookbook
tlaplus,Some examples and notes while learning TLA+ modeling language.
User: miguelmota
Home Page: https://github.com/miguelmota/tla-learning
tlaplus,Different TLA+ specifications, mostly for learning purposes
User: mryndzionek
tlaplus,A selection of textbook-like course notes for the Imperial College Computing modules.
User: oliverkillane
Home Page: https://oliverkillane.github.io/Imperial-Computing-Notes/
tlaplus,:microscope: formal tools for BPMN
User: pascalpoizat
tlaplus,Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)
User: ret
tlaplus,TLA+ specifications of various protocols used by wallets in the nitro protocol.
Organization: statechannels
tlaplus,A TLA+ specification for the Xen vchan protocol
User: talex5
tlaplus,TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus
Organization: tezedge
tlaplus,Temporal Logic of Actions Modeling for Python
Organization: timewinder-dev
tlaplus,A tree-sitter grammar for TLA⁺ and PlusCal
Organization: tlaplus-community
tlaplus,Distributed termination detection on a ring, due to Shmuel Safra:
Organization: tlaplus-workshops
Home Page: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
tlaplus,TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Organization: tlaplus
tlaplus,The TLA+ Video Course by Leslie Lamport
Organization: tlaplus
Home Page: https://lamport.azurewebsites.net/video/videos.html
tlaplus,Formal models of vac protocols
Organization: vacp2p
tlaplus,How to use TLA+ / TLA+ specification of the ClickHouse replication protocol
User: vadimplh
tlaplus,A formal specification of snapshot isolation.
User: will62794
tlaplus,Interactive, web-based environment for exploring TLA+ specifications.
User: will62794
tlaplus,A TLA+ module for animating TLC traces.
User: will62794
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.