Stars
Plugin for IntelliJ IDEA that gives special support for Minecraft modding projects.
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 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
Official Haskell IDE support via the language server protocol (LSP)
Swift sample code for Bartosz Milewski's book "Category Theory for Programmers"
Applied Functional Programming Course - Move from exercises to a working app!
Example of Features, Reactive and Pure functional programing in Scala
Purely Functional Algorithms and Data Structures in Scala
Kotlin sample code for Bartosz Milewski's CT for Programmers
A collection of resources for learning type theory and type theory adjacent fields.
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.
Textbook on metalogic based on the Open Logic Project
A python-ish pure and total functional programming language
A parser combinator library based on the GLL algorithm
An Intellij Plugin for the Eta programming language
Usage examples and benchmarks between Scalaz and Cats (w/ Haskell ground-truth).