Reactive Microservices for the JVM

Compositional, streaming I/O library for Scala

Powerful new number types and numeric abstractions for Scala.

A data access library for Scala + Postgres.

A library for building reliable, scalable and distributed event-sourced applications in Scala

A type-checker for Erlang

TopShell - a purely functional, reactive scripting language

Code repo for Functional and Reactive Domain Modeling

A pure Scala 3 logging library with no reflection

A language with lexical effect handlers and lightweight effect polymorphism

recursion schemes for cats; to iterate is human, to recurse, divine

Library of utilities for tagless final encoded algebras

A parser combinator library based on the GLL algorithm

Static program analysis for TIP

Banana RDF

A strawman for a low-level async library in Scala 3.

My fork of scala (includes the llvm backend)

The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

Squid – type-safe metaprogramming and compilation framework for Scala

A fast and modern parser combinator library for Scala

Code from the book "Types and Programming Languages" in Scala

Alternative algorithm for algebraic subtyping.

A series of down-to-earth articles on implementing type inference

Build your web API on the type level.

Limits of Scala typechecking speed

An experimental whitespace-delimited syntax for the Scala programming language

Experimental implementations of ML-style modules in Scala

A purely functional library to build distributed and event-driven systems

Synthesis of Heap-Manipulating Programs from Separation Logic