variance-aware functional-programming in scala
an exploration of subtyping-based category theory in scala
Slides and code from a talk on subtyping and functor variance
A TypeScript compiler written in Scala (wip)
Higher-Order Supercompiler
Forward- and Reverse-Mode Automatic Differentiation for Scala
Reusable, composable, reasonably priced algebras for typeful effects and composable applications
Some simple functional programming exercises in Scala
a scala numerical tower
Type Classes for Reactive Programming