uuverifiers/princess   2025-11-17

The Princess Theorem Prover

wix-incubator/quix   1.0.11

Quix Notebook Manager

sangria-graphql/macro-visit   0.2.0

A macro-based generic visitor generator

scaruby/scaruby   0.6

Ruby-like Lightweight Scripting Library for Scala

nequissimus/circe-kafka   3.3.1

Implicit conversion of Encoder and Decoder into Serializer/Deserializer/Serde

entangled-xyz/scotty   0.6.0

Quantum computing framework for Java and Scala developers.

xuwei-k/ghscala   0.6.0

purely functional scala github api client

kmizu/pegex   1.0.1

A PEG-based pattern matching library EXtended by back reference with regex-like notation in Scala

davenverse/mapref   0.2.1

Ref Optimized Around Maps

typelevel/discipline-munit   2.0.0

MUnit binding for Typelevel Discipline

sjrd/sbt-dynscalajs   1.0.0

Dynamically switch between the JVM target and versions of Scala.js in a Scala project

niqdev/caliban-extras   0.1.5

GraphQL pagination and filters with Caliban

47degrees/pbdirect   0.7.0

Read/Write Scala objects directly to Protobuf with no .proto file definitions

bottech/scala2plantuml   0.3.0

Scala2PlantUML generates PlantUML diagrams from Scala code.

tek/kallikrein   0.6.0

scala testing framework

pityka/lamp   0.0.116

deep learning and scientific computing framework with native CPU and GPU backend for the Scala programming language

tinkoff/gatling-picatinny   0.14.0

Library with a bunch of usefull functions that extend Gatling DSL and make your performance better

http4s/http4s-otel4s-middleware   0.18.0

http4s middlewares built on otel4s

yakivy/poppet   0.4.0

Minimal, type-safe RPC Scala library.

precog/fs2-ssh   1.1.0

A wrapper around Apache SSHD targeting cats-effect and fs2