Stars
A Git-compatible VCS that is both simple and powerful
A new markup-based typesetting system that is powerful and easy to learn.
The open and composable observability and data visualization platform. Visualize metrics, logs, and traces from multiple sources like Prometheus, Loki, Elasticsearch, InfluxDB, Postgres and many mo…
Grafana Mimir provides horizontally scalable, highly available, multi-tenant, long-term storage for Prometheus.
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.