A markup-based typesetting system that is powerful and easy to learn.

Compression Algorithms for Fs2

Simple database migration tool for Postgres with skunk on JVM and Native

Functional Kafka Streams for Scala

A purely functional rate limiter

Scala combinator library for working with binary data

The Flix Programming Language

A friendly programming language from the future

ArduinoBLE library for Arduino

Arduino Library for controlling Powered UP and Boost controllers

cats transformer type classes.

A data access library for Scala + Postgres.

The pure asynchronous runtime for Scala

NewTypes for Scala with no runtime overhead

Command-line JSON processor

A tool for data sampling, data generation, and data diffing

Refinement types for Scala

sbt plugin for generating Scala sources for Apache Avro schemas and protocols.

Avro schema generation and serialization / deserialization for Scala

Some experiments on Constraint Programming

Code snippets for solving common big data problems in various platforms. Inspired by Rosetta Code

Java Constraint Programming solver

Programming is an exercise in linguistics; spice-up Scala types with Adjective.

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

The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming

GeoTrellis is a geographic data processing engine for high performance applications.

Lightweight, modular, and extensible library for functional programming.

Simple, safe and intuitive Scala I/O

Apache Cassandra® Cluster Manager (CCM) – easily create and destroy clusters on localhost