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...
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...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
HEADLIGHTER/Born2BeRoot-42 | Shell | 95 | 0 | 57 | 0 |
dk1a/solidity-stringutils | SolidityShell | 20 | 0 | 0 | 0 |
politechnika/put-latex | TeXShellJava | 33 | 0 | 10 | 0 |
zbh2047/SortNet | CudaPythonC++ | 24 | 0 | 4 | 0 |
allenai/RL4LMs | PythonHTMLPerl | 1.8k | +12 | 168 | +1 |
De3vil/KLogger | PythonShell | 281 | 0 | 46 | 0 |
Rongjiehuang/GenerSpeech | PythonShell | 279 | 0 | 43 | 0 |
prisma/prisma-engines | RustTypeScriptNix | 973 | 0 | 171 | 0 |
RedisJSON/RedisJSON | RustPythonShell | 3.7k | 0 | 313 | 0 |
mariussoutier/PlayBasics | ScalaHTMLJava | 165 | 0 | 63 | 0 |