# pfeodrippe/recife

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

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

pfeodrippe/recife has 145 stars on GitHub. Its RepoMasters card: Prototype tier. A Clojure model checker (using the TLA+/TLC engine) Language: Clojure.

| Field | Value |
| --- | --- |
| Owner | [pfeodrippe](https://repo.masters-masters.com/en/owners/pfeodrippe) |
| Stars | 145 |
| Forks | 3 |
| Language | [Clojure](https://repo.masters-masters.com/en/languages/clojure) |
| License | None |
| Created | 2021 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [pfeodrippe/recife](https://github.com/pfeodrippe/recife) |

## Repository

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

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by pfeodrippe

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

## Nearby in Clojure

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

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.