t2v/stackable-controller   0.7.1

Composable Action composition framework for Play2.x

epfl-lara/inox   1.1.0

Solver for higher-order functional programs, used by Stainless

scala/toolkit   0.9.2

The batteries-included Scala

mbilski/akka-reasonable-downing   1.2.0

Quorum split brain resolver for static akka cluster

denisrosset/metal   0.1

Metal - fast unboxed data structures for Scala

microsoft/mobius   2.0.200

C# and F# language binding and extensions to Apache Spark

chipsalliance/treadle   1.6.0

Chisel/Firrtl execution engine

joernio/ghidra2cpg   0.0.52

Code Property Graph (CPG) frontend for binary applications and libraries.

muuki88/sbt-graphql   0.17.0

SBT plugin to generate and validate graphql schemas written with Sangria

bmc/classutil   1.5.1

Scala-friendly, fast class-finder library (using ASM under the covers)

bfil/scala-automapper   0.7.0

Hassle-free case class mapping!

tinkoff/phobos   0.21.0

Efficient and expressive XML data-binding library for Scala

scalus3/scalus   0.17.0

Scalus - Smart contracts & dApps Development Platform for Cardano

kyleu/databaseflow   1.1.1

An opinionated modern database interface

backchatio/hookup   0.4.2

A reliable netty websocket server built on top of akka

helgeho/archivespark   3.0

An Apache Spark framework for easy data processing, extraction as well as derivation for web archives and archival collections, developed at Internet Archive.

softwaremill/sttp-ai   0.3.10

Scala Client for AI models

criteo/lolhttp   10.0.0

An HTTP Server and Client library for Scala.

kailuowang/mainecoon   0.6.4

Transform and compose tagless final encoded algebras in scala

eed3si9n/verify   2.0.1

Scala Verify is a minimal testing framework for Scala. Trust, but verify.