Group: Soundness

Sort by:Popular▼

✓Popular✓Newest

Collections raised to the type-level in Scala

A general mechanism to implement overloaded symbolic operators

A typesafe interface to JVM compilers

Simple typeclass instances for Java standard library integration

soundness-all

Interfaces for interacting with the shell from Scala

soundness-all

Syntax highlighting for Scala code

Hyperbole is a nascent set of tools to make it easier to write macros in Scala.

soundness-all

Typesafe record types for Scala

Scala typeclasses for rendering different values as text for different audiences

soundness-all

Typesafe representations of network concepts in Scala

Typesafe internationalization of strings in Scala

A fast JSON parser for Scala.

Representation-agnostic filewatching with streams in Scala

An implementation of Bloom filters for Scala

soundness-all

soundness-all