Build highly concurrent, distributed, and resilient message-driven applications using Java/Scala

The Community Maintained High Velocity Web Framework For Java and Scala.

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

Scala.js, the Scala to JavaScript compiler

Data structures for pure functional programming in Scala

TLS 1.3 Specification

Reference implementation for the peer-to-peer agent that manages the Stellar network.

A toolkit for servicing HTTP requests in Scala

Declarative concurrency and stream processing library for Scala

Asynchronous Http and WebSocket Client library for Java

Generic programming for Scala

Powerful new number types and numeric abstractions for Scala.

Compile time validation of literal values built from strings

fs2 pipes for encrypting and decrypting data using BouncyCastle's PGP implementation

The Scala 3 compiler, also known as Dotty.

Find, Filter, Preview, Pick. All lua, all the time.

A fault tolerant, protocol-agnostic RPC system

Elegant parsing in Java and Scala - lightweight, easy-to-use, powerful.

Linked Data API for JavaScript

What it says on the tin!

🍃 Non-blocking, Reactive MongoDB Driver for Scala

Principled Functional Programming in Scala

A macro-based PEG parser generator for Scala 2.10+

Literate programming with sbt

Generic programming for Scala

Refinement types for Scala

The RMLMapper executes RML rules to generate high quality Linked Data from multiple originally (semi-)structured data sources

Solid Technical Reports

The Agda standard library

coulomb: unit analysis for Scala