# pfeodrippe/recife

<https://repo.masters-masters.com/repos/pfeodrippe/recife>

[Accueil](https://repo.masters-masters.com/) › [pfeodrippe](https://repo.masters-masters.com/owners/pfeodrippe) › [recife](https://repo.masters-masters.com/repos/pfeodrippe/recife)

pfeodrippe/recife, dépôt open source à 145 étoiles sur GitHub. Carte Prototype de RepoMasters. A Clojure model checker (using the TLA+/TLC engine)

| Champ | Valeur |
| --- | --- |
| Propriétaire | [pfeodrippe](https://repo.masters-masters.com/owners/pfeodrippe) |
| Étoiles | 145 |
| Forks | 3 |
| Langage | [Clojure](https://repo.masters-masters.com/languages/clojure) |
| Licence | Aucune |
| Création | 2021 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [pfeodrippe/recife](https://github.com/pfeodrippe/recife) |

## Fiche du dépôt

A Clojure model checker (using the TLA+/TLC engine)

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

## Autres dépôts de pfeodrippe

- [pfeodrippe/wally · ★ 124 · Clojure · Prototype](https://repo.masters-masters.com/repos/pfeodrippe/wally)

## D’autres dépôts Clojure

- [twosigma/satellite · ★ 145 · Clojure · Prototype](https://repo.masters-masters.com/repos/twosigma/satellite)
- [Ella-Hoeppner/Vlojure · ★ 145 · Clojure · Prototype](https://repo.masters-masters.com/repos/Ella-Hoeppner/Vlojure)
- [NoahTheDuke/splint · ★ 145 · Clojure · Prototype](https://repo.masters-masters.com/repos/NoahTheDuke/splint)
- [gga/janus · ★ 145 · Clojure · Prototype](https://repo.masters-masters.com/repos/gga/janus)
- [juliangamble/clojure-ants-simulation · ★ 145 · Clojure · Prototype](https://repo.masters-masters.com/repos/juliangamble/clojure-ants-simulation)

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