siddhartha-gadgil/provingground   0.1.1

Proving Ground: Tools for Automated Mathematics

lunduniversity/introprog-scalalib   1.4.0

Scala library with simple-to-use utilites for students of introductory programming. http://cs.lth.se/pgk/api

karasiq/scalajs-bootstrap   2.4.2

Scala.js bootstrap components

rtimush/sbt-rewarn   0.1.3

Make sbt always display compilation warnings, even for unchanged files.

zio/zio-optics   0.2.2

Easily modify parts of larger data structures

nextgentel/akka-tools   1.1.3

Open source tools to simplify Akka event sourcing, journaling/persistence, serialization, clustering and sharding.

scalawilliam/xs4s   0.9.1

XML Streaming for Scala including FS2/cats support

pingel-org/axle   0.6.6

Axle Domain Specific Language for Scientific Cloud Computing and Visualization

eclipsesource/play-json-schema-validator   0.9.4

JSON Schema Validation with Play JSON

ironcorelabs/cats-scalatest   4.0.0

Scalatest binding for Cats

geirolz/advxml   2.5.1

A lightweight, simple and functional DSL library to work with XML in Scala with Cats

monix/monix-connect   0.9.0

A set of connectors for Monix. 🔛

vigoo/desert   0.3.6

Binary serialization library for Scala

djspiewak/skolems   0.2.1

A microlibrary for Scala encodings of higher-rank quantifiers

laughedelic/literator   0.6.0

:memo: Generate literate-style markdown docs from your sources

lucidsoftware/xtract   2.3.0

A library to make it easy to deserialize XML to user types in scala

outr/scarango   3.20.0

ArangoDB client written in Scala

japgolly/univeq   2.0.1

Safer universal equivalence (==) for Scala.

purplekingdomgames/ultraviolet   0.4.0

Scala 3 to GLSL transpiler library

outworkers/util   0.57.0

The util project, packed with common goodies.