플랫폼
프로그래밍 언어
TypeScript
C++
C
Go
Rust
C#
Shell
Java
HTML
Lua
PHP
Jupyter Notebook
Ruby
Kotlin
Swift
CSS
Dart
Emacs Lisp
Vim Script
SCSS
Vue
Haskell
Makefile
Scala
Svelte
Perl
Clojure
Batchfile
Dockerfile
Objective-C
Nix
GDScript
Assembly
TeX
Common Lisp
R
Elixir
Solidity
Nim
Markdown
Zig
HCL
Logos
AutoHotkey
Jinja
Julia
Pascal
OCaml
Scheme
JavaScript
KO
RU
DE
ZH
ES
PT
MS
FR
FA
KO
TR
PL
CS
SV
SK
BG
SL
DA
HR
AR
HU
NL
IND
IT
EL
VI
TH
HE
Home
TLA 로 작성된 라이브러리
Examples
다양한 복잡성의 TLA+ 사양 모음(tlaplus 제공).
1.1k
GNU General Public License v3.0
DrTLAPlus
Dr. TLA+ 시리즈 - 알고리즘과 프로토콜을 배우고 사양을 연구합니다.
757
BlockingQueue
자습서 "몇 주 동안의 디버깅으로 TLA+ 시간을 절약할 수 있습니다." 각 git 커밋은 새로운 개념을 도입합니다 =>git 히스토리를 확인하십시오! (레미에 의해).
465
MIT
CommunityModules
TLA+ 커뮤니티에서 기여하고 선별한 TLA+ 스니펫, 연산자 및 모듈.
228
MIT
pgo
PGo는 Modular PlusCal 사양에서 Go 프로그램으로의 소스 컴파일러입니다.
143
Apache License 2.0
ewd998
Shmuel Safra로 인한 링의 분산 종료 감지:.
41
MIT
cross-chain-validation
33
Apache License 2.0
TLAPLUS_DeadlockEmpire
TLA+ 및 TLC를 사용하여 DeadlockEmpire 문제를 해결하기 위한 사양 및 모델.
18
TLAplus
TLA+ 질문, 답변 및 실험(Isaac-DeFrain 작성).
17
Apache License 2.0
raft.tla
Raft 합의 알고리즘에 대한 TLA+ 사양.
8
advent-of-tla
TLA+의 AoC 목표.
6
MIT