Declarative concurrency and stream processing library for Scala
coulomb: unit analysis for Scala
Compile-time guaranteed case class field handling for Scala 3
Type safe equality for Scala 3
Type parameters
Super type-safe CSS for Scala and Scala.JS.
Squid – type-safe metaprogramming and compilation framework for Scala
An exploration in custom rule creation for the WartRemover Scala linter
Toward Behavioral Type checking for Rholang
Scala type-safe builder generator
TopShell - a purely functional, reactive scripting language
A Scala validating configuration reader for Typelevel Config.
Scala Spores, safe mobile closures.
Example of a Json custon serializer
WartRemover warts for Play Framework.
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
necesito esas cosas raras con tipos
Add a description, image, and links to the type-safety topic page so that developers can more easily learn about it.
To associate your repository with the type-safety topic, visit your repo's landing page and select "manage topics."