Group: Soundness

Sort by:Popular▼

✓Popular✓Newest

The Java implementation of String provides many methods which are useful, but some lack sufficient typesafety. Gossamer provides the Text type, a more typesafe opaque type alias of String

A rigorous and consistent foundation for numerical and arithmetic programming

Eucalyptus is a logging library which makes it easy to add logging to any project. It consciously makes logging configuration explicit and easily understood, and uses rich ANSI-escaped messages to make logs easier to read.

Simple tools for working with data streams in LazyLists in Scala

Contingency is an experimental library for abstracting over error handling strategies. In particular, it gives developers a choice between throwing exceptions, returning errors in a variety of datatypes, and accumulating several validation-style ...

Rudiments provides a small collection of tiny but useful utilities for everyday programming in Scala, and could be considered an enhanced 'predef'

Minimal typeclass definitions for seamless integration without hard dependencies for Scala

Escapade makes it easy to work safely with strings containing ANSI escape codes.

Classpath management facilities for Scala

Simple interfaces for reading, processing and writing JSON in Scala

Statically-checked inline matching on regular expressions in Scala

Statically-checked string interpolation in Scala

Utilities for working with exceptions in Scala

Simple interfaces for I/O operations in Scala

A lightweight URI representation and HTTP client

Simple generically-derived cryptographic functions for Scala

Safely access environment variables and system properties

Escritoire is a simple library for printing tabular data in monospaced fonts, typically for use in console applications. Tables can be displayed in a number of styles.

Easy, fast, transparent generic derivation of typeclass instances in Scala

Statically-checked physical units with seamless syntax