ghostdogpr/purelogic

Direct-style pure domain logic for Scala

dickwall/subcut

Scala Uniquely Bound Classes Under Traits

protobom/protobom

A universal SBOM representation in protocol buffers

rescript-labs/decco

Bucklescript PPX which generates JSON (de)serializers for user-defined types

dwhjames/datomisca

Datomisca: a Scala API for Datomic

mauke/data-default

A class for types with a default value

fogfish/datum

pure functional and generic programming for Erlang

isovector/thinking-with-types

📖 source material for Thinking with Types