Projects in Awesome Lists tagged with static-checks
A curated list of projects in awesome lists tagged with static-checks .
https://github.com/propensive/cardinality
Dependently-typed range-checked numbers for Scala
dependent-types refined-types scala static-checks typesafe
Last synced: 24 Jun 2025
