Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Plugin for IntelliJ IDEA that gives special support for Minecraft modding projects.

Composable relations for Scala

ZIO — A type-safe, composable library for async and concurrent programming in Scala

Small scalafix rule to avoid pattern matching cases that matches everything.

A microlibrary for reliable and persistent webhook delivery

A next-generation Scala framework for building scalable, correct, and efficient HTTP clients and servers

A CLI-based launcher and general productivity tool.

Simple DSL to parse case class'es from Map[String, Option[String]] using Shapeless and Cats

Slides for presentations!

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Swift sample code for Bartosz Milewski's book "Category Theory for Programmers"

Applied Functional Programming Course - Move from exercises to a working app!

Mac setup and configuration via Ansible.

Example of Features, Reactive and Pure functional programing in Scala

Purely Functional Algorithms and Data Structures in Scala

Real World Functional Programming with ZIO

Kotlin sample code for Bartosz Milewski's CT for Programmers

A collection of resources for learning type theory and type theory adjacent fields.

The engine for haskell ide-integration. Not an IDE

Generate fake screenshots from video games

My little sandbox for playing around with the FP + OOP + DDD combination, in particular using Rho, doobie, Docker, testing, etc in a project.

The repository for the Functional Scala workshop.

A textbook on informal homotopy type theory

UCalgary version of forallx, an introduction to formal logic

Next Level MTL for Scala

Textbook on metalogic based on the Open Logic Project

A python-ish pure and total functional programming language