uuverifiers/princess   2025-04-01

The Princess Theorem Prover

kmizu/scomb   0.9.0

SComb: Simple but Powerful Parser Combinator Library

ocadaruma/scalikejdbc-bigquery   0.1.4

ScalikeJDBC extension for Google BigQuery

udashframework/scala-js-jquery   3.3.0

Static types for the jQuery API for Scala.js programs.

monix/implicitbox   0.3.4

Scala micro-library providing utilities for capturing implicits.

tototoshi/play-joda-routes-binder   1.4.0

QueryString / Path Binder for Play 2.x

jwojnowski/oidc4s   0.13.2

Purely functional Scala library for Open ID Connect 1.0 token verification and decoding

kwark/play-refined   0.6.0

An integration library for using refined types with Play framework

poslegm/munit-zio   0.4.0

MUnit and ZIO integration

filosganga/batcher   1.0.0

Batch similar requests together transparently

circe/circe-jackson   0.14.0

Jackson parsing and printing for circe

mcsim4s/scalograf   0.2.2

Grafana models generator for scala

geomesa/geomesa-geoserver   4.0.5

A GeoMesa community project for GeoServer-GeoMesa modules.

dlouwers/reactive-consul   0.5.2

Consul client for Scala

buntec/scala-js-snabbdom   0.1.0

A Scala.js port of the Snabbdom virtual DOM library

lombardo-chcg/websocket-scala   0.0.4

a simple Websocket client library for Scala

tresata/akka-http-spnego   0.5.0

Kerberos based authentication for akka-http using SPNEGO

karimagnusson/zio-path   2.0.1

ZIO Path

sake92/squery   0.7.0

Simple SQL queries in Scala 3