PrototypeCommune
pfeodrippe/recife
A Clojure model checker (using the TLA+/TLC engine)
- Propriétaire
- pfeodrippe (compte personnel)
- Étoiles
- Étoiles : 145
- Forks
- Forks : 3
- Langage
- Clojure
- Licence
- Aucune
- Création
- 2021
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de pfeodrippe
Les 2 dépôts de pfeodrippe- pfeodrippe/wallyÉtoiles : 124ClojurePrototype
D’autres dépôts Clojure
Tous les dépôts Clojure- twosigma/satelliteÉtoiles : 145ClojurePrototype
- Ella-Hoeppner/VlojureÉtoiles : 145ClojurePrototype
- NoahTheDuke/splintÉtoiles : 145ClojurePrototype
- gga/janusÉtoiles : 145ClojurePrototype
- juliangamble/clojure-ants-simulationÉtoiles : 145ClojurePrototype