ghostdogpr/purelogic

Direct-style pure domain logic for Scala

jeremyrsmith/patchless

Patch data type for Scala and shapeless

isovector/thinking-with-types

📖 source material for Thinking with Types

Baeldung/scala-tutorials

Supporting code for the tutorials on https://www.baeldung.com/scala

isovector/type-sets

type level sets

JBakouny/Scallina

A Coq-based synthesis of Scala programs which are correct-by-construction

FrozenWinters/stlc

This aims to be the most pretentious implementation of stlc in existence