TopShell - a purely functional, reactive scripting language
-
Updated
Aug 23, 2021 - Scala
#
type-safety
Here are 25 public repositories matching this topic...
Super type-safe CSS for Scala and Scala.JS.
-
Updated
Aug 12, 2024 - Scala
Declarative concurrency and stream processing library for Scala
functional-programming concurrency stream-processing type-safety session-types declarative-programming linear-types expressiveness resource-safety
-
Updated
Aug 8, 2025 - Scala
Squid – type-safe metaprogramming and compilation framework for Scala
-
Updated
Feb 1, 2024 - Scala
coulomb: unit analysis for Scala
scala typelevel configuration numeric units-of-measure configuration-management unit-analysis unit-conversion static-types dimensional-analysis units typeclass type-safety avro-schema typechecking pureconfig refined unit-quantity
-
Updated
Apr 21, 2025 - Scala
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
scala ddd typelevel metaprogramming macros scala-macros type-safety type-checking scalameta ddd-patterns type-level-programming newtype funcional-programming
-
Updated
Oct 19, 2017 - Scala
Scala Spores, safe mobile closures.
-
Updated
Oct 19, 2018 - Scala
WartRemover warts for Play Framework.
-
Updated
Nov 30, 2017 - Scala
necesito esas cosas raras con tipos
-
Updated
Oct 19, 2017 - Scala
Toward Behavioral Type checking for Rholang
-
Updated
Mar 25, 2023 - Scala
Type safe equality for Scala 3
-
Updated
Dec 27, 2024 - Scala
A scala-js-dom library that replaces nullable return types T with Option[T].
-
Updated
Jun 15, 2017 - Scala
Scala type-safe builder generator
-
Updated
Jan 14, 2022 - Scala
WartRemover warts for Slick.
-
Updated
Oct 8, 2017 - Scala
Compile-time guaranteed case class field handling for Scala 3
-
Updated
Aug 8, 2025 - Scala
Type parameters
-
Updated
Dec 18, 2024 - Scala
Improve this page
Add a description, image, and links to the type-safety topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-safety topic, visit your repo's landing page and select "manage topics."