dominique-unruh/scala-isabelle   0.4.5

A Scala library for controlling/interacting with Isabelle

simplefinance/simplespec   0.9.0

A small Scala library for writing specs as simple classes and methods (no longer maintained).

guardian/play-googleauth   0.7.10

Simple play module for authenticating against Google

larsrh/libisabelle   1.0.1

A Scala library which talks to Isabelle (DISCONTINUED)

clulab/pdf2txt   1.1.5

Convert PDF files to TXT

thoughtworksinc/sbt-scala-js-map   4.1.1

A Sbt plugin that configures source mapping for Scala.js projects hosted on Github

eed3si9n/sjson-new   0.15.0

a typeclass based JSON codec that's backend independent

wartremover/wartremover-contrib   2.4.4

Additional warts for wartremover.

carldata/timeseries   0.7.0

Time Series library for Scala

thoughtworksinc/future.scala   2.0.0

Stack-safe asynchronous programming

stacycurl/pimpathon   1.9.3

Adds useful methods to scala & java classes.

absaoss/spark-hats   0.3.0

Nested array transformation helper extensions for Apache Spark

tvaroh/tagged-types   3.6.1

Zero-dependency boilerplate-free tagged types for Scala

scalikejdbc/csvquery   1.5.0

A handy SQL runner to work with CSV files

vitorsvieira/scala-iso   0.1.2

ISO 3166-1, ISO 3166-2, ISO 4217, E.164, ISO related types in Scala. Country codes, Country Subdivision, Country Currency, Calling Code, etc...

tanishiking/scalaunfmt   0.0.5

Generates the .scalafmt.conf that have minimum change to existing your scala codebase on running scalafmt.

typelevel/case-insensitive   1.5.0

A case-insensitive string for Scala

sir-wabbit/leibniz   0.10.0

Leibniz equivalence and Liskov substitutability library for Scala.

fiadliel/prometheus_client_scala   0.8.4

Scala client for Prometheus monitoring