Artifacts using Contingency Core (14)

Sort by:Popular▼

✓Popular✓Newest

A rigorous and consistent foundation for numerical and arithmetic programming

Utilities for working with exceptions in Scala

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

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

UUIDs for Scala

Statically-checked inline matching on regular expressions in Scala

Decoding for Soundness

Scala typeclasses for rendering different values as text for different audiences

An implementation of Myers' diff algorithm for Scala

soundness-all