https://github.com/lemastero/scala_typeclassopedia

Abstractions from Category theory with simple description & implementation, links to further resources.

category-teory functional-programming patterns scala

Last synced: 25 Jan 2026

https://github.com/lemastero/agda-hott

Notes on Homotopy Type Theory in Agda

Last synced: 25 Jan 2026

https://github.com/lemastero/agda2scala

Scala 2 and Scala 3 backend for Agda

Last synced: 25 Jan 2026

https://github.com/lemastero/agda-smash

smash product in Agda

agda category-theory smash wedge

Last synced: 25 Jan 2026