Iltotore

Iltotore/iron

Strong type constraints for Scala

5 good first / help-wanted issues · Scala · last activity Jul 2, 2026

554 stars 70 forks 554 watchers Scala Apache License 2.0

assert functional-programming refinement-types scala types

View on GitHub Website

5 Open Issues Need Help Last updated: Jul 2, 2026

Open Issues Need Help

View All on GitHub

ScalaSQL support 4 months ago

enhancement good first issue

554

Strong type constraints for Scala

Scala

#assert#functional-programming#refinement-types#scala#types

Not implication is the inverse, not the contrapositive (unsoundness) 4 months ago

bug good first issue

554

Strong type constraints for Scala

Scala

#assert#functional-programming#refinement-types#scala#types

ForAll ==> Exists (and friends) are unsound on empty/short collections 4 months ago

bug good first issue

554

Strong type constraints for Scala

Scala

#assert#functional-programming#refinement-types#scala#types

Numeric Greater/Less/Multiple for Int/Long compare via Double, losing precision above 2^53 4 months ago

bug good first issue

554

Strong type constraints for Scala

Scala

#assert#functional-programming#refinement-types#scala#types

Cask support 4 months ago

enhancement good first issue

554

Strong type constraints for Scala

Scala

#assert#functional-programming#refinement-types#scala#types