Group: Soundness

Sort by:Popular▼

✓Popular✓Newest

soundness-all

An alternative Predef for Scala

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

Simple tools for working with data streams in LazyLists in Scala

A rigorous and consistent foundation for numerical and arithmetic programming

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 ...

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.

Classpath management facilities for Scala

Simple interfaces for reading, processing and writing JSON in Scala

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

A lightweight URI representation and HTTP client

Statically-checked string interpolation in Scala

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

Simple interfaces for I/O operations in Scala

Minimal typeclass definitions for seamless integration without hard dependencies for Scala

Simple generically-derived cryptographic functions for Scala

Binary stream parsing for Scala

Safely access environment variables and system properties

Typeclass interfaces to access user-defined Scala annotations

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