💫 Toolkit to help you get started with Spec-Driven Development

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

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

Build production-ready backends in minutes

WebRTC desktop streamer using Rust

Synthesize CRDTs from classic data types with verified lifting!

A Rust framework for correct and performant distributed systems

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.