Iltotore/iron

Strong type constraints for Scala

ScalaShellBatchfilescalatypesfunctional-programmingassertrefinement-types
This is stars and forks stats for /Iltotore/iron repository. As of 27 Apr, 2024 this repository has 320 stars and 22 forks.

Iron is a lightweight library for refined types in Scala 3. It enables attaching constraints/assertions to types, to enforce properties and forbid invalid values. Catch bugs. In the spirit of static typing, use more specific types to avoid invalid values. Compile-time and runtime. Evaluate constraints at compile time, or explicitly check them at runtime (e.g. for a form). Seamless. Iron types are subtypes of their unrefined versions, meaning you can easily add or remove them. No black magic. Use...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
HEADLIGHTER/Born2BeRoot-42Shell950570
dk1a/solidity-stringutilsSolidityShell20000
politechnika/put-latexTeXShellJava330100
zbh2047/SortNetCudaPythonC++24040
allenai/RL4LMsPythonHTMLPerl1.8k+12168+1
De3vil/KLoggerPythonShell2810460
Rongjiehuang/GenerSpeechPythonShell2790430
prisma/prisma-enginesRustTypeScriptNix97301710
RedisJSON/RedisJSONRustPythonShell3.7k03130
mariussoutier/PlayBasicsScalaHTMLJava1650630