https://soundness.dev/

  * home
  * contribute
  * discuss

Correctness, security and performance
Invariant from prototype to production

Soundness is an ecosystem of libraries for advanced software
development in direct-style Scala 3 prioritizing typesafety and
correctness enforced pervasively through expressive and aesthetic
code. Projects bult on Soundness are safe, maintainable and sound

[logo]

Abacist

Calculations with non-decimal units and mixed bases

[logo]

Capricious

Generation of random values

[logo]

Contingency

Versatile error handling for every scenario.

[logo]

Dendrology

Rendering of trees and DAGs in the console

[logo]

Dissonance

Myers' diff algorithm in Scala

[logo]

Escritoire

A library for writing tables

[logo]

Ethereal

Launch Scala applications lightning-fast by running them as daemons

[logo]

Exoskeleton

Interfaces for interacting with the shell

[logo]

Gossamer

Lightweight string utilities

[logo]

Iridescence

Sophisticated representation of color

[logo]

Kaleidoscope

Statically-typed inline pattern matching on regular expressions

[logo]

Larceny

Scala 3 compiler plugin for testing compiletime errors

[logo]

Metamorphose

Efficient permutation representations

[logo]

Nettlesome

Typesafe representations of network concepts

[logo]

Quantitative

Statically-checked physical units with seamless syntax

[logo]

Symbolism

A general mechanism to implement overloaded symbolic operators

[logo]

Turbulence

Simple tools for working with data streams in `LazyList`s

[logo]

Vacuous

A simple representation of optional values

[logo]

Wisteria

Simple, fast and transparant generic derivation for typeclasses

(c) Copyright 2024 Propensive