Stars
📡 Unofficial local REST API documentation for Daikin BRP069C4x (4P359542-1H) WiFi module — no cloud, no auth, full local control
A Git-compatible VCS that is both simple and powerful
A markup-based typesetting system that is powerful and easy to learn.
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 🚀
CockroachDB — the cloud native, distributed SQL database designed for high availability, effortless scale, and control over data placement.
A conflict-free replicated JSON datatype (CRDT) in Scala