# kelvich/tlaplus\_jupyter

<https://repo.masters-masters.com/repos/kelvich/tlaplus_jupyter>

[Accueil](https://repo.masters-masters.com/) › [kelvich](https://repo.masters-masters.com/owners/kelvich) › [tlaplus\_jupyter](https://repo.masters-masters.com/repos/kelvich/tlaplus_jupyter)

kelvich/tlaplus\_jupyter, dépôt open source à 122 étoiles sur GitHub. Carte Prototype de RepoMasters. Jupyter kernel for TLA⁺ Langage : Python.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [kelvich](https://repo.masters-masters.com/owners/kelvich) |
| Étoiles | 122 |
| Forks | 10 |
| Langage | [Python](https://repo.masters-masters.com/languages/python) |
| Licence | BSD-3-Clause |
| Création | 2019 |
| Sujets | tla, model-checking, jupyter-kernel |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [kelvich/tlaplus\_jupyter](https://github.com/kelvich/tlaplus_jupyter) |

## Fiche du dépôt

Jupyter kernel for TLA⁺

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## D’autres dépôts Python

- [Bryce-border/McLottery-Alchemist · ★ 122 · Python · Prototype](https://repo.masters-masters.com/repos/Bryce-border/McLottery-Alchemist)
- [Lico124378/macau-hidden-bites · ★ 122 · Python · Prototype](https://repo.masters-masters.com/repos/Lico124378/macau-hidden-bites)
- [BlueKnightNet/Blue-Knight-Proxy-BotHosting · ★ 122 · Python · Prototype](https://repo.masters-masters.com/repos/BlueKnightNet/Blue-Knight-Proxy-BotHosting)
- [svetlyak40wt/django-fields · ★ 122 · Python · Prototype](https://repo.masters-masters.com/repos/svetlyak40wt/django-fields)
- [metajack/notify-webhook · ★ 122 · Python · Prototype](https://repo.masters-masters.com/repos/metajack/notify-webhook)
- [bmander/graphserver · ★ 122 · Python · Prototype](https://repo.masters-masters.com/repos/bmander/graphserver)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.