Page 10 of 2238 results
-
epfl-lara/stainless 0.1.0-ae1c19517b3e78809cb67748504c7d694fa91bd1
Verification framework and tool for higher-order Scala programs
Scala versions: 2.11 -
purplekingdomgames/tyrian 0.11.0
Elm-inspired Scala UI library.
Scala versions: 3.xScala.js versions: 1.x -
higherkindness/droste 0.9.0
recursion schemes for cats; to iterate is human, to recurse, divine
Scala versions: 3.x 2.13 2.12Scala.js versions: 1.x -
japgolly/scalacss 1.0.0
Super type-safe CSS for Scala and Scala.JS.
Scala versions: 3.x 2.13Scala.js versions: 1.x -
higherkindness/mu-scala 0.33.0
Mu is a purely functional library for building RPC endpoint based services with support for RPC and HTTP/2
Scala versions: 3.x 2.13 -
typelevel/discipline 0.11.1
Flexible law checking for Scala
Scala versions: 2.12 2.11Scala.js versions: 0.6 -
typelevel/natchez 0.3.7
functional tracing for cats
Scala versions: 3.x 2.13 2.12Scala.js versions: 1.xScala Native versions: 0.4 -
notxcain/aecor 0.15.4
Pure functional event sourcing runtime
Scala versions: 2.12 -
alexandrnikitin/bloom-filter-scala 0.13.1
Bloom filter for Scala, the fastest for JVM
Scala versions: 2.13 2.12 2.11 2.10 -
aselab/scala-activerecord 0.6.2
ActiveRecord-like ORM library for Scala
Scala versions: 2.13 -
typelevel/cats-tagless 0.16.2
Library of utilities for tagless final encoded algebras
Scala versions: 3.x 2.13 2.12Scala.js versions: 1.xScala Native versions: 0.4 -
softwaremill/diffx 0.9.0
Pretty diffs for scala case classes
Scala versions: 3.x 2.13 2.12Scala.js versions: 1.x