# sweirich/challenge

<https://repo.masters-masters.com/en/repos/sweirich/challenge>

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

sweirich/challenge has 122 stars on GitHub. Its RepoMasters card: Prototype tier. Strongly-typed System F in Haskell Language: Haskell.

| Field | Value |
| --- | --- |
| Owner | [sweirich](https://repo.masters-masters.com/en/owners/sweirich) |
| Stars | 122 |
| Forks | 10 |
| Language | [Haskell](https://repo.masters-masters.com/en/languages/haskell) |
| License | BSD-3-Clause |
| Created | 2019 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [sweirich/challenge](https://github.com/sweirich/challenge) |

## Repository

Strongly-typed System F in Haskell

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

## More repos by sweirich

- [sweirich/pi-forall · ★ 632 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/sweirich/pi-forall)
- [sweirich/dth · ★ 309 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/sweirich/dth)
- [sweirich/tal · ★ 150 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/sweirich/tal)
- [sweirich/lambda-n-ways · ★ 127 · HTML · Prototype](https://repo.masters-masters.com/en/repos/sweirich/lambda-n-ways)

## Nearby in Haskell

- [jmorag/mcc · ★ 122 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/jmorag/mcc)
- [dandoh/web-haskell-graphql-postgres-boilerplate · ★ 122 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/dandoh/web-haskell-graphql-postgres-boilerplate)
- [grin-compiler/ghc-whole-program-compiler-project · ★ 122 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/grin-compiler/ghc-whole-program-compiler-project)
- [haskellari/these · ★ 122 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/haskellari/these)
- [lehins/hip · ★ 122 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/lehins/hip)
- [nirum-lang/nirum · ★ 122 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/nirum-lang/nirum)

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