# mmirman/caledon

<https://repo.masters-masters.com/en/repos/mmirman/caledon>

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

mmirman/caledon has 174 stars on GitHub. Its RepoMasters card: Prototype tier. higher order dependently typed logic programing Language: Haskell.

| Field | Value |
| --- | --- |
| Owner | [mmirman](https://repo.masters-masters.com/en/owners/mmirman) |
| Stars | 174 |
| Forks | 9 |
| Language | [Haskell](https://repo.masters-masters.com/en/languages/haskell) |
| License | None |
| Created | 2012 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [mmirman/caledon](https://github.com/mmirman/caledon) |

## Repository

higher order dependently typed logic programing

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

## More repos by mmirman

- [mmirman/MentisOculi · ★ 245 · Python · Prototype](https://repo.masters-masters.com/en/repos/mmirman/MentisOculi)
- [mmirman/conpig · ★ 108 · Python · Prototype](https://repo.masters-masters.com/en/repos/mmirman/conpig)

## Nearby in Haskell

- [purescript/pursuit · ★ 174 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/purescript/pursuit)
- [passy/android-lint-summary · ★ 174 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/passy/android-lint-summary)
- [haskell-streaming/streaming · ★ 174 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/haskell-streaming/streaming)

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