Gossip-based service discovery (and more) for large distributed systems.

Build production-ready backends in minutes

WebRTC desktop streamer using Rust

📦 shippable application packaging

Synthesize CRDTs from classic data types with verified lifting!

A high-level distributed programming framework for Rust

A program synthesis framework for verified lifting applications

Shape-safe TensorFlow in Dotty

Type-safe dimensional analysis and unit conversion in Kotlin.

sbt plugin to automate Sonatype releases from GitHub Actions

Write Scala.js React apps just like you would in ES6

Scala language server with rich IDE features 🚀

✏️ Apollo CLI for client tooling (Mostly replaced by Rover)

A framework for writing robot software with functional programming in Scala

The Scala API for Quantities, Units of Measure and Dimensional Analysis

Your favorite language gets closer to bare metal.

math-input = react + redux + mathquill

Fast math typesetting for the web.

Perseus is Khan Academy's exercise question editor and renderer.