tla

There are 10 repositories under tla topic.

• ligurio / sqa-wiki

  My own notes (drafts mostly) about software quality

  ebooksquality-assurancesoftware-testingcoursesverificationtlalearningmodel-checkingformal-methodstesting
  2218

• tlaplus / tlaplus

  TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

  tlaspecificationsmodel-checkingverificationhigh-performancejavaalgorithmsmit-license
  Language:Java 2200

• spacejam / tla-rust

  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

  tlarustmodel-checkinglock-freedistributed
  Language:TLA 1022

• lemmy / BlockingQueue

  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

  tlaplusmodel-checkingjavafifofifo-queuespecificationtlapstla
  Language:TLA 480

• informalsystems / apalache

  APALACHE: symbolic model checker for TLA+ and Quint

  apalachemodel-checkingquintsmttlatlaplusverification
  Language:Scala 408
• vscode-tlaplus

  tlaplus / vscode-tlaplus

  TLA+ language support for Visual Studio Code

  tlatlcpluscalmodel-checkingspecificationverificationformal-methodsvscode-extension
  Language:TypeScript 329

• hwayne / learntla

  A TLA+ guide

  learningtlaguide
  Language:CSS 278

• hwayne / learntla-v2

  Learn TLA+ for free! No prior experience necessary!

  bookformal-methodsformal-specificationformal-verificationtlatlaplus
  Language:TLA 168

• DistCompiler / pgo

  PGo is a source to source compiler from Modular PlusCal specs into Go programs.

  tlapgogocompilerdistributed-systemspluscalscala
  Language:TLA 167

• pmer / tla-bin

  Command line binaries for the TLA+ language

  tlaspecificationmodel-checkingverificationmit-license
  Language:Shell 162

• kelvich / tlaplus_jupyter

  Jupyter kernel for TLA⁺

  tlamodel-checkingjupyter-kernel
  Language:Python 118

• tlaplus / PlusPy

  Python interpreter for TLA+ specifications

  tlapythoninterpreter
  Language:Python 110

• ProjectKorra / ProjectKorra

  The Official Plugin for ProjectKorra.

  hacktoberfestprojectkorraavatarminecraftspigotspigot-pluginpluginbendingtlakorra
  Language:Java 86

• fizzbee-io / fizzbee

  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

  alloyalloy-analyzerformal-languagesformal-methodsformal-verificationltlpluscalprismtlatla-plustlaplus
  Language:Python 63

• informalsystems / modelator

  Model-based testing tool

  tlatlaplusmodel-checkingmodel-based-testingrust
  Language:Python 50

• lemmy / lets-prove-blocking-queue

  Proving a blocking queue deadlock free in a dozen different ways

  deadlock-freedomalgorithmproofconcurrencytlatlaplus
  Language:Dafny 42

• will62794 / tlaplus_repl

  A simple REPL for TLA+.

  tlaformal-verificationmodel-checking
  Language:Python 39

• fpaxos / fpaxos-tlaplus

  TLA+ specification of Flexible Paxos

  distributed-algorithmspaxostlatla-specification
  Language:TLA 37

• will62794 / tla-web

  Web-based environment for exploring TLA+ specifications.

  tlaplusverificationmodel-checkingtla
  Language:TLA 35

• mrc / tla-tools

  TLA+ tools for Emacs

  tlatlapluspluscalemacsemacs-mode
  Language:Emacs Lisp 29

• informalsystems / modelator-py

  Utilities for the TLA+ ecoystem and model-based testing using TLA+.

  modelingmodel-checkingtlaplustlautilitiesutilityclicommand-linecommand-line-tooltlcapalache
  Language:Python 28

• mryndzionek / tlaplus_specs

  Different TLA+ specifications, mostly for learning purposes

  tlaplusmodel-checkingtlatla-specificationsgraphviz
  Language:TLA 28

• dgpv / SASwap_TLAplus_spec

  TLA+ specification for Succinct Atomic Swap smart contract

  tlaplustla-specificationtlabitcoinsmart-contractsatomic-swap
  Language:TLA 25

• japgolly / tla2json

  Convert TLA+ output (and values) into JSON

  tlatla-plustlaplustlcjson
  Language:Scala 22

• Isaac-DeFrain / TLAplusFun

  TLA+ questions, answers, and experiments

  tlatlaplusformal-verification
  Language:TLA 21

• Starydark / PaxosStore-tla

  Specifying and Verifying the consensus algorithm in PaxosStore using TLA+

  tlarefinement
  Language:TLA 21

• tezedge / tezedge-specification

  TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus

  tlaplustlatla-specificationformal-verificationtezostezos-blockchain
  Language:TLA 20

• decanus / rutschblock

  A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+

  tlatlaplustla-specificationformal-specification
  Language:TLA 18

• VadimPlh / Arrival

  How to use TLA+ / TLA+ specification of the ClickHouse replication protocol

  tlapluspluscalclickhousetladistributed-systems
  Language:TLA 16

• adlnet / tla

  Codebase for the ADL Initiative's Total Learning Architecture (TLA) reference implementation. Once matured and implemented, the TLA will enable personalized, data-driven, and technology-enabled lifelong learning across the DoD, other Federal Government agencies, and beyond.

  tlaxapicassdavedatasimps4tlafluenttdt
  Language:JavaScript 14

• tchajed / coq-tla

  coqlivenesstla
  Language:Coq 12

• yetanalytics / xapipe

  LRSPipe is an xAPI Statement forwarding/middeware process governed directly by xAPI Profiles.

  lrsxapijson-ldxapi-profilestla
  Language:Clojure 12

• timewinder-dev / timewinder-prototype

  Temporal Logic of Actions Modeling for Python

  pythontlaformal-methodstlaplus
  Language:Python 11

• miguelmota / tla-learning

  Some examples and notes while learning TLA+ modeling language.

  learningmodelingtlatlaplustla-specificationlearning-by-doingexamplestlc
  9

• rberenguel / tla_lightning

  Lightning talk about TLA+ for Scala Exchange 2018

  tlapluscalakka
  Language:Jupyter Notebook 9

• tlaplus / lecture

  The TLA+ Video Course by Leslie Lamport

  tlaplustla-specificationtlatla-plus
  Language:HTML 8