ghostdogpr/purelogic

Direct-style pure domain logic for Scala

ingoem/scala-react

Scala.react is a reactive programming library for Scala.

JBakouny/Scallina

A Coq-based synthesis of Scala programs which are correct-by-construction

dwhjames/datomisca

Datomisca: a Scala API for Datomic

hawk/lux

Test automation framework with Expect style execution of commands

jasisz/aver

Aver is a programming language for auditable AI-written code

scalameta/munit

Scala testing library with actionable errors and extensible APIs

Baeldung/scala-tutorials

Supporting code for the tutorials on https://www.baeldung.com/scala