Artifacts using Contingency Core (14)
Sort by:Popular

A rigorous and consistent foundation for numerical and arithmetic programming
Last Release on Nov 6, 2025
Utilities for working with exceptions in Scala
Last Release on Nov 6, 2025
Easy, fast, transparent generic derivation of typeclass instances in Scala
Last Release on Nov 6, 2025
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
Last Release on Nov 6, 2025
UUIDs for Scala
Last Release on Nov 6, 2025
Statically-checked inline matching on regular expressions in Scala
Last Release on Nov 6, 2025
Decoding for Soundness
Last Release on Nov 6, 2025
Scala typeclasses for rendering different values as text for different audiences
Last Release on Nov 6, 2025
An implementation of Myers' diff algorithm for Scala
Last Release on Nov 6, 2025
soundness-all
Last Release on Nov 6, 2025