TopShell - a purely functional, reactive scripting language
-
Updated
Aug 23, 2021 - Scala
TopShell - a purely functional, reactive scripting language
Super type-safe CSS for Scala and Scala.JS.
Squid – type-safe metaprogramming and compilation framework for Scala
Declarative concurrency and stream processing library for Scala
coulomb: unit analysis for Scala
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Scala Spores, safe mobile closures.
WartRemover warts for Play Framework.
necesito esas cosas raras con tipos
Type safe equality for Scala 3
Toward Behavioral Type checking for Rholang
A scala-js-dom library that replaces nullable return types T with Option[T].
Scala type-safe builder generator
WartRemover warts for Slick.
WartRemover warts for Scala.js.
An exploration in custom rule creation for the WartRemover Scala linter
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."