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.

Build your web API on the type level.

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

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