A Nix flake for getting started with Scala.

A curated list of awesome Scala frameworks, libraries and software.

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

Homotopy type theory

An introductory course to Homotopy Type Theory

Development of homotopy type theory in Agda

Voevodsky's notes on type systems. This version contains more material than the one on his website.

DUCT is a Scala 3 category theory and functional programming library

Give your dependencies stars on GitHub!

Example telegram bot implementation using fs2 and http4s client (no akka)

A discrete, colored Petri Net DSL and executor