Awesome Open Source

Programming Languages

Search results for python tla

14 search results found

Aiorwlock ⭐ 128

Read/Write Lock - synchronization primitive for asyncio

Tlaplus_jupyter ⭐ 111

Jupyter kernel for TLA⁺

Python interpreter for TLA+ specifications

A script for running TLA+/TLC from the command line

Modelator ⭐ 43

Model-based testing tool

Tlaplus_repl ⭐ 39

A simple REPL for the TLA+ language, using the TLC model checker.

Modelator Py ⭐ 26

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

A tool to exchange changesets between different version control systems

Metric_learning_adversarial_robustness ⭐ 17

Code for NeurIPS 2019 Paper

Callysto Salish Baskets ⭐ 7

Jupyter notebook to explore the design of geometric patterns of Coast Salish woven baskets

Bip32_template_python_implementation ⭐ 6

Implementation of the parser/matcher for BIP32 path templates

Sphinxcontrib Globalsubs ⭐ 6

Sphinx global substitutions extension

Competition Simulator ⭐ 6

A simulator for Student Robotics Virtual Competitions

Related Searches

Python Django (28,897)

Python Machine Learning (20,195)

Python Flask (17,643)

Python Dataset (14,792)

Python Docker (14,113)

Python Tensorflow (13,739)

Python Deep Learning (13,092)

Python Jupyter Notebook (12,976)

Python Network (11,495)

Python Html (10,924)

1-14 of 14 search results

Privacy | About | Terms | Follow Us On Twitter

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