-
tlapm Public
Forked from tlaplus/tlapmThe TLA Proof Manager
OCaml BSD 2-Clause "Simplified" License UpdatedDec 19, 2025 -
Examples Public
Forked from tlaplus/ExamplesA collection of TLA+ specifications of varying complexities
-
CommunityModules Public
Forked from tlaplus/CommunityModulesTLA+ snippets, operators, and modules contributed and curated by the TLA+ community
TLA MIT License UpdatedDec 16, 2025 -
tlaplus Public
Forked from tlaplus/tlaplusTLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
-
-
rfcs Public
Forked from tlaplus/rfcsRFCs for changes to the TLA+ specification language
TLA MIT License UpdatedAug 16, 2025 -
beautifulhugo Public
Forked from halogenica/beautifulhugoTheme for the Hugo static website generator
CSS Other UpdatedJul 4, 2025 -
apalache-chai Public
Forked from apalache-mc/apalache-chaiChai: Client for Human-Apalache Interaction
Python UpdatedMay 18, 2025 -
tla-input Public
Forked from bugarela/tla-inputTLA+ Unicode input for Emacs
Emacs Lisp MIT License UpdatedApr 16, 2025 -
apalache Public
Forked from apalache-mc/apalacheAPALACHE: symbolic model checker for TLA+ and Quint
Scala Apache License 2.0 UpdatedApr 16, 2025 -
parse-sany-output-ocaml Public
Parse the exported XML output of the SANY TLA+ parser in OCaml
OCaml UpdatedNov 21, 2024 -
formal-methods-experiments Public
Some experiments with formal methods languages & tooling
TLA MIT License UpdatedOct 8, 2024 -
tree-sitter Public
Forked from tree-sitter/tree-sitterAn incremental parsing system for programming tools
Rust MIT License UpdatedSep 17, 2024 -
ocamlearlybird Public
Forked from hackwaly/ocamlearlybirdOCaml debug adapter
OCaml MIT License UpdatedAug 8, 2024 -
vscode-ocaml-platform Public
Forked from ocamllabs/vscode-ocaml-platformVisual Studio Code extension for OCaml
OCaml ISC License UpdatedAug 8, 2024 -
jgit Public
Forked from eclipse-jgit/jgitJGit, the Java implementation of git
Java Other UpdatedJun 18, 2024 -
tree-sitter-test Public
For testing tree-sitter grammar functionality
-
vscode-tlaplus Public
Forked from tlaplus/vscode-tlaplusTLA+ language support for Visual Studio Code
TypeScript MIT License UpdatedFeb 4, 2024 -
tree-sitter-prism Public archive
Incomplete tree-sitter grammar for the PRISM probabilistic modeling language
-
-
predicate-lang Public
Forked from gravitational/predicate-langPredicate - Access Control System
Python Apache License 2.0 UpdatedMay 25, 2022 -
rbac-linter Public
Forked from gravitational/rbac-linterPython Apache License 2.0 UpdatedMay 19, 2022 -
jgit-buildnumber Public
Forked from alx3apps/jgit-buildnumberGit buildnumber for Maven and Ant without Git CLI
Java UpdatedOct 25, 2021 -
FirewallChecker Public
Forked from Z3Prover/FirewallCheckerA self-contained firewall checker
C# MIT License UpdatedOct 4, 2021 -
computerized-mathematics Public
Exploring concepts & tools in computerized mathematics
-
quantum-experiments Public
Q# code snippets written when exploring quantum computing concepts
-
-
PaxosCluster Public
A framework for distributed applications
-
avalanche-analysis Public
Analysis of the Avalanche family of protocols using formal methods
-
BattleTetrisAI Public archive
AI for Battle Tetris, entered into a programming contest
{{ message }}