Stars
A Git-compatible VCS that is both simple and powerful
A markup-based typesetting system that is powerful and easy to learn.
Sublime Text package for Metals, a language server for Scala
Scala language server with rich IDE features π
Vim-fork focused on extensibility and usability
Embeddable, replicated and fault-tolerant SQL engine.
A dependently typed programming language, a successor to Idris
Versatile typeface for code, from code.
A declarative desktop UI framework for Rust built on GTK and Gtk-rs
a fast, scalable, multi-language and extensible build system
Empowering everyone to build reliable and efficient software.
Scala incremental compiler library, used by sbt and other build tools
The super light testing library for Scala and Scala.js
Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3
GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources π
Production-Grade Container Scheduling and Management
CockroachDB β the cloud native, distributed SQL database designed for high availability, effortless scale, and control over data placement.