🧛🏻‍♂️ Dark theme for JetBrains IDEs

A very minimal but elegant emacs (I think)

Comprehensions for Arrows and Monoidal categories

Cats-based Scala library for free applicative schemas (cats-based port of Xenomorph)

A list of papers about distributed consensus.

Scripts to automatically fetch Sonatype statistics

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

Scala library for free applicative schemas capable of parsing/rendering sums-of-products data structures.

Principled Functional Programming in Scala

From neural networks to the Category of composable supervised learning algorithms in Scala with compile-time matrix checking based on singleton-types

A small library for writing referentially transparent and stack-safe sequential programs

Proving Ground: Tools for Automated Mathematics

Make Google custom functions for your Spreadsheets in Scala

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

Focused and purely functional event sourcing library for Java

Generalized recursion schemes and traversals for Scala.

Asynchronous, Reactive Programming for Scala and Scala.js.

An Emacs package for running demonstrations, screencasts and presentations from within Emacs.

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

Experimental Scala compiler focused on compilation speed

A cohesive & pragmatic framework of FP centric Scala libraries

Java Agent for Memory Measurements

Random generator of test data in Scala based on Scalacheck and Shapeless

better implicit errors for scala

Liberator - sent to make you Free

Scurses, terminal drawing API for Scala, and Onions, a Scurses framework for easy terminal UI

Test to verify that your project has no log4j dependency

Exploration of the Free monad without point