Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Tlaplus_repl

A simple REPL for the TLA+ language, using the TLC model checker.
Stars
39
License
No license specified
Open Issues
0
Most Recent Commit
8 months ago
Programming Language
Python
Categories
Repo
Suggest An Alternative To tlaplus_repl
Popular Repl Projects
Julia ⭐ 43,937
The Julia Programming Language
dependent packages 6total releases 11latest release August 23, 2022most recent commit 3 months ago
Python Fire ⭐ 25,805
Python Fire is a library for automatically generating command line interfaces (CLIs) from absolutely any Python object.
dependent packages 1,304total releases 10latest release December 12, 2022most recent commit 3 months agopypi fire} Downloads
Ts Node ⭐ 12,376
TypeScript execution and REPL for node.js
dependent packages 136,315total releases 128latest release December 08, 2023most recent commit 3 months agonpm ts-node} Downloads
Psysh ⭐ 9,596
A REPL for PHP
dependent packages 596total releases 100latest release October 14, 2023most recent commit 3 months agopackagist psy/psysh} Downloads
Popular Model Checking Projects
P ⭐ 2,845
The P programming language.
dependent packages 1total releases 3latest release April 04, 2023most recent commit 4 months agonuget PCheckerCore} Downloads
Kani ⭐ 1,699
Kani Rust Verifier
total releases 44latest release November 28, 2023most recent commit 3 months ago
Popular User Interface Categories
Theme
Flutter
Animation
Redux
Bindings
Gui
Material
Visualization
Layout
Qt
Related Searches
Python Repl
Python Model Checking
Python Tla
Python Formal Verification

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Python
Repl
Model Checking
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.