# nikita-volkov/refined

<https://repo.masters-masters.com/en/repos/nikita-volkov/refined>

[Home](https://repo.masters-masters.com/en) › [nikita-volkov](https://repo.masters-masters.com/en/owners/nikita-volkov) › [refined](https://repo.masters-masters.com/en/repos/nikita-volkov/refined)

nikita-volkov/refined has 196 stars on GitHub. Its RepoMasters card: Prototype tier. Refinement types with static checking Language: Haskell.

| Field | Value |
| --- | --- |
| Owner | [nikita-volkov](https://repo.masters-masters.com/en/owners/nikita-volkov) |
| Stars | 196 |
| Forks | 32 |
| Language | [Haskell](https://repo.masters-masters.com/en/languages/haskell) |
| License | MIT |
| Created | 2015 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [nikita-volkov/refined](https://github.com/nikita-volkov/refined) |

## Repository

Refinement types with static checking

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

## More repos by nikita-volkov

- [nikita-volkov/hasql · ★ 553 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/nikita-volkov/hasql)
- [nikita-volkov/record · ★ 249 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/nikita-volkov/record)
- [nikita-volkov/hasql-th · ★ 117 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/nikita-volkov/hasql-th)

## Nearby in Haskell

- [CIFASIS/QuickFuzz · ★ 196 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/CIFASIS/QuickFuzz)
- [jxv/dino-rush · ★ 196 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/jxv/dino-rush)
- [CyberCat-Institute/open-game-engine · ★ 196 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/CyberCat-Institute/open-game-engine)
- [Peaker/git-mediate · ★ 195 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/Peaker/git-mediate)

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