PrototypeCommon
pfeodrippe/recife
A Clojure model checker (using the TLA+/TLC engine)
- Owner
- pfeodrippe (personal account)
- Stars
- Stars: 145
- Forks
- Forks: 3
- Language
- Clojure
- License
- None
- Created
- 2021
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by pfeodrippe
All 2 repos by pfeodrippe- pfeodrippe/wallyStars: 124ClojurePrototype
Nearby in Clojure
All Clojure repos- twosigma/satelliteStars: 145ClojurePrototype
- Ella-Hoeppner/VlojureStars: 145ClojurePrototype
- NoahTheDuke/splintStars: 145ClojurePrototype
- gga/janusStars: 145ClojurePrototype
- juliangamble/clojure-ants-simulationStars: 145ClojurePrototype