:atom: Scala & Dotty support for Atom IDE (🧟♂️ zombie repo)
Verified message-passing programs in Dotty
N-dimensional / multi-dimensional arrays (tensors) in Scala 3. Think Num...
Shape-safe TensorFlow in Dotty
Catless Category Theory in Dotty/Scala 3 meow ~
An attempt to build axiomatic, formal set theory on top of Scala.
Scala 3 workshop presenting the top new features of the language.