Simple, expressive, and safe UI library for Scala.js

The first Scala macros' standard library.

Strong type constraints for Scala

Directory-specific aliasing tool

This repository houses branches for the Scala 3 LTS, main repository is under scala/scala3.

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Ideas list for GSoC 2025 mentored by Scala Center

A tool and a library for bi-directional translation between SPIR-V and LLVM IR

Standard Library

Extremely Linear Git History // git-linearize

A platform of libraries for Scala 3

GPU Path Tracer with some realtime features written in C

Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events

GPU Mersenne primality test.

A scala 3 tree explorer for the reflect module

Animation engine for explanatory math videos

Release with confidence, state-of-the-art property testing for Scala.

Cross-platform interpreted easy to learn programming language.

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

Create React Native apps in Scala with Scala.js, Slinky, and Expo

Expressive named type relations

Enso Analytics is a self-service data prep and analysis platform designed for data teams.

SPIRV-Reflect is a lightweight library that provides a C/C++ reflection API for SPIR-V shader bytecode in Vulkan applications.

SPIRV-Cross is a practical tool and library for performing reflection on SPIR-V and disassembling SPIR-V back to high level languages.

Server to host lean games.

A typescript implementation of Rust's Result object.

A massively parallel, high-level programming language

Scala library for boilerplate-free, type-safe data transformations

A massively parallel, optimal functional runtime in Rust

SWE-agent takes a GitHub issue and tries to automatically fix it, using your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges. [NeurIPS 2024]