Stars
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
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 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
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
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.
rzach / forallx-yyc
Forked from OpenLogicProject/forallx-camUCalgary version of forallx, an introduction to formal logic
Textbook on metalogic based on the Open Logic Project