# typelevel/discipline

<https://repo.masters-masters.com/en/repos/typelevel/discipline>

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

typelevel/discipline has 338 stars on GitHub. Its RepoMasters card: Alpha tier. Flexible law checking for Scala Language: Scala.

| Field | Value |
| --- | --- |
| Owner | [typelevel](https://repo.masters-masters.com/en/owners/typelevel) |
| Stars | 338 |
| Forks | 60 |
| Language | [Scala](https://repo.masters-masters.com/en/languages/scala) |
| License | MIT |
| Created | 2013 |
| Topics | scala, typelevel, property-based-testing |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [typelevel/discipline](https://github.com/typelevel/discipline) |

## Repository

Flexible law checking for Scala

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by typelevel

- [typelevel/cats · ★ 5,480 · Scala · Stable](https://repo.masters-masters.com/en/repos/typelevel/cats)
- [typelevel/fs2 · ★ 2,456 · Scala · RC](https://repo.masters-masters.com/en/repos/typelevel/fs2)
- [typelevel/cats-effect · ★ 2,252 · Scala · RC](https://repo.masters-masters.com/en/repos/typelevel/cats-effect)
- [typelevel/doobie · ★ 2,226 · Scala · RC](https://repo.masters-masters.com/en/repos/typelevel/doobie)
- [typelevel/scalacheck · ★ 1,964 · Scala · Beta](https://repo.masters-masters.com/en/repos/typelevel/scalacheck)
- [typelevel/spire · ★ 1,772 · Scala · Beta](https://repo.masters-masters.com/en/repos/typelevel/spire)

## Nearby in Scala

- [Ldpe2G/DeepLearningForFun · ★ 340 · Scala · Alpha](https://repo.masters-masters.com/en/repos/Ldpe2G/DeepLearningForFun)
- [typelevel/natchez · ★ 340 · Scala · Alpha](https://repo.masters-masters.com/en/repos/typelevel/natchez)
- [scala/scala3-example-project · ★ 339 · Scala · Alpha](https://repo.masters-masters.com/en/repos/scala/scala3-example-project)
- [apache/bahir · ★ 336 · Scala · Alpha](https://repo.masters-masters.com/en/repos/apache/bahir)
- [rockthejvm/scala-2-beginners · ★ 336 · Scala · Alpha](https://repo.masters-masters.com/en/repos/rockthejvm/scala-2-beginners)
- [TiarkRompf/virtualization-lms-core · ★ 335 · Scala · Alpha](https://repo.masters-masters.com/en/repos/TiarkRompf/virtualization-lms-core)

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