Scala

Providing a consistent live reload experience for any web application on the JVM.

FSA: Fusing FlashAttention within a Single Systolic Array

Agentic and LLM Programming in Scala

ElemRV - End-to-end Open-Source RISC-V Microcontroller

Splice repository

Like VexRiscv, but, Harder, Better, Faster, Stronger

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

Beautiful Text-based User Interfaces for Scala

Identus Cloud Agent

GPGPU processor supporting RISCV-V extension, developed with Chisel HDL

Safe direct-style streaming, concurrency and resiliency for Scala on the JVM

Open-source non-blocking L2 cache

Apache Pekko Management is a suite of tools for operating Pekko Clusters.

Flink Scala API is a thin wrapper on top of Flink Java API which support Scala Types for serialisation as well the latest Scala version

Apache Pekko gRPC

Violent Bot

Apache Spark - A unified analytics engine for large-scale data processing

Declarative text based tool for data analysts and engineers to extract, load, transform and orchestrate their data pipelines.

Open-source high-performance RISC-V processor

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3

F Prime Prime: A modeling language for F Prime

♞ lichess.org: the forever free, adless and open source chess server ♞

An open-source storage framework that enables building a Lakehouse architecture with compute engines including Spark, PrestoDB, Flink, Trino, and Hive and APIs

Spark RAPIDS plugin - accelerate Apache Spark with GPUs

深圳地铁大数据客流分析系统🚇🚄🌟

The Shine compiler for the RISE language

Human-AI Collaborative Data Science Using Visual Workflows

APALACHE: symbolic model checker for TLA+ and Quint

An open-source toolkit for large-scale genomic analysis

Symbolic-execution-based verifier for the Viper intermediate verification language.

A language with lexical effect handlers and lightweight effect polymorphism

Supporting code for the tutorials on https://www.baeldung.com/scala

Scala configuration library supporting HOCON for Scala, Java, Scala.js, and Scala Native

Multiplatform backup and recovery system with emphasis on security and privacy

Berkeley's Spatial Array Generator

Migrate data extract using Spark to Scylla, normally from Cassandra/parquet files. Alt. from DynamoDB to Scylla Alternator.

functional tracing for cats

A data access library for Scala + Postgres.

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

Scientific workflow engine designed for simplicity & scalability. Trivially transition between one off use cases to massive scale production environments

Apache Livy is an open source REST interface for interacting with Apache Spark from anywhere.

The VerCors verification toolset for verifying parallel and concurrent software

A platform to build and run apps that are elastic, agile, and resilient. SDK, libraries, and hosted environments.

The pure asynchronous runtime for Scala