|
Clojure |
105 |
A Clojure model checker (using the TLA+/TLC engine) |
Apr 14, 2023 |
|
Java |
2014 |
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is … |
Apr 24, 2023 |
|
Shell |
3 |
Performance measurements for the TLC model checker |
Sep 18, 2017 |
|
Scala |
308 |
APALACHE: symbolic model checker for TLA+ |
Aug 22, 2022 |
|
TLA |
17 |
TLC models for the MongoDB Replication TLA+ specification. |
May 02, 2022 |
|
TLA |
39 |
A TLA+ module for animating TLC traces. |
Feb 03, 2022 |
|
Python |
76 |
A script for running TLA+/TLC from the command line |
Dec 28, 2022 |
|
Emacs Lisp |
2 |
Flycheck checker for TLA+ |
Mar 01, 2019 |
|
Python |
26 |
Utilities for the TLA+ ecoystem and model-based testing using TLA+. |
May 26, 2022 |
|
Shell |
149 |
Command line binaries for the TLA+ language |
Apr 27, 2023 |
|
Python |
2 |
Checker with simple ONNX model structure. Simple Structure Checker for ONNX. |
Feb 14, 2023 |
|
None |
13 |
RFCs for changes to the TLA+ specification language |
Oct 28, 2022 |
|
Haskell |
167 |
Embedded specification language & model checker in Haskell |
Jul 01, 2022 |
|
Python |
4 |
Spell Checker based on Ngrams Language Model |
May 16, 2020 |
|
Rust |
1321 |
REPL for the Rust programming language |
May 15, 2023 |
|
Scala |
58 |
The Eldarica model checker |
Apr 27, 2023 |
|
OCaml |
13 |
The Cubicle model checker |
Apr 25, 2023 |
|
Haskell |
7 |
Driver for verifying C libraries using the CBMC model-checker. |
Feb 04, 2023 |
|
TypeScript |
251 |
TLA+ language support for Visual Studio Code |
Oct 06, 2022 |
|
Java |
39 |
Intellij plugin for TLA+ formal specification language. |
Apr 15, 2023 |
|
TypeScript |
3 |
TLA+ language support for Visual Studio Code |
Dec 18, 2021 |
|
Go |
56 |
a REPL program for the Go language |
Sep 16, 2022 |
|
Python |
2 |
REPL (shell) for the Django template language |
Dec 13, 2012 |
|
Erlang |
66 |
The McErlang model checker for Erlang |
Jun 30, 2021 |
|
Python |
5 |
Simple character-based language model using keras |
Apr 30, 2022 |
|
Python |
17 |
A multi-formalism, multi-solution model-checker centered on the language GAL |
Jun 15, 2022 |
|
PHP |
2 |
A REPL for the RightNow query language, ROQL |
Jan 28, 2023 |
|
Java |
11 |
GUI for running the SPIN model checker |
Apr 13, 2023 |
|
JavaScript |
6 |
Formal Verification of smart contracts, using PROMELA verification modeling language and SPIN model checker |
Oct 01, 2022 |
|
None |
51 |
Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+ |
Feb 07, 2023 |
|
Clojure |
2 |
Simple XMPP-Client for the Clojure-REPL. |
Apr 28, 2015 |
|
Java |
12 |
An interactive console (REPL) for the Xbase programming language. |
Apr 30, 2020 |
|
Java |
3 |
Model Checker for Java Programs |
Oct 20, 2021 |
|
C++ |
20 |
Python Bindings for the Probabilistic Model Checker Storm |
Apr 26, 2023 |
|
Scala |
3 |
CTL model checker, implemented using BDDs (JavaBDD library) |
Nov 09, 2022 |
|
C++ |
5 |
A simple REPL for testing USB devices using libUSB. |
Dec 22, 2022 |
|
TLA |
7 |
Verifying the correctness of CRDTs using TLA+/PlusCal |
Jul 16, 2022 |
|
Go |
133 |
Zeitgeist: the language-agnostic dependency checker |
Aug 04, 2022 |
|
Python |
2 |
A simple, open-source and model-driven score checker for WHU. |
Apr 11, 2023 |
|
PHP |
55 |
Simple coding-style checker for Moodle, using PHP_CodeSniffer |
Apr 11, 2023 |
|
Python |
10 |
An INCREDIBLY OBSOLETE pseudo-REPL for the Rust programming language |
Jan 25, 2016 |
|
Haskell |
2 |
A web-based REPL for the Pact smart contract language |
Mar 03, 2020 |
|
Python |
29 |
The MOSAIC Operating Systems Model and Checker |
May 30, 2023 |
|
Common Lisp |
2 |
A simple REPL for the April APL compiler |
May 18, 2022 |
|
Julia |
11 |
A simple weather app for the Julia REPL |
Mar 09, 2023 |
|
Ruby |
828 |
A REPL for x86-64 assembly language |
Nov 29, 2022 |
|
Jupyter Notebook |
2 |
A simple Natural language processing model created using Google Colab |
Jan 17, 2023 |
|
Rust |
6 |
Simple REPL for mathematical expressions. |
Nov 14, 2021 |
|
C++ |
5 |
Simple REPL implementation for C++. |
Mar 28, 2023 |
|
OCaml |
13 |
A model-checker for caml programs. |
Apr 26, 2021 |