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

Simple tools for working with data streams in LazyLists in Scala

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

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 errors

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.

Minimal typeclass definitions for seamless integration without hard dependencies for Scala

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

Safely access environment variables and system properties

Simple interfaces for I/O operations in Scala

Classpath management facilities for Scala

Utilities for working with exceptions in Scala

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

A lightweight and typesafe DSL for embedding HTML in Scala code

Simple generically-derived cryptographic functions for Scala

Serpentine is a small library for handling the abstract notion of paths, distinguishing between relative and absolute forms, rooted on some value

Binary stream parsing for Scala

Statically-checked physical units with seamless syntax

Guillotine makes it easy to work with shell processes in Scala, with simple interpolation-based definitions of commands, and type-based interpretation of their output

Sophisticated representation of color in Scala