TomasMikula

ReactFX

Reactive event streams, observable values and more for JavaFX.

libretto

Declarative concurrency and stream processing library for Scala

EasyBind

Custom JavaFX bindings made easy with lambdas.

pascal

Concise syntax for polymorphic values in Scala.

LiveDirsFX

Directory tree model for JavaFX that watches the filesystem for changes.

freeless

Alternative to Free monads

hasheq

Typeclass-based HashSet/HashMap for Scala

LambdaCart

Lambda syntax for Scala EDSLs

nutcracker

Problem solving à la carte

Principled

(Actually) flexible law checking for Scala

freebind

Exploration of the Free monad without point

type-aligned

Type-aligned data types, stack-safe composition.

non-sequencing-monads

Examples of monads without sequencing

protein-refinery

Reasoning about protein-protein interactions, using propagators

scala-nat

Unary representation of natural numbers, with a proof of commutativity of addition.

akka-stream-contrib

Add-ons to Akka Stream

cats

Lightweight, modular, and extensible library for functional programming.

ct-agda

Category theory formalized in Agda

dotty

The Scala 3 compiler, also known as Dotty.

dxWDL

Workflow Description Language compiler for the DNAnexus platform

hfix

kind-projector

Compiler plugin for making type lambdas (type projections) easier to write

MPS

JetBrains Meta programming System

scala

The Scala programming language

scalaz

An extension to the core Scala library for functional programming.

scato

An exploration of purely functional library design in Scala.

suit

tomasmikula.github.io

transformer-benchmarks

Benchmarks for monad transformer implementations in Scala

unison

Next generation programming language, currently in development