Starred repositories
Modern observability platform: 10x easier, 140x lower storage cost, petabyte scale. Open-source alternative to Elasticsearch/Splunk/Datadog for logs, metrics, traces, RUM, and more.
Social networking technology created by Bluesky
Build smaller, faster, and more secure desktop and mobile applications with a web frontend.
Empowering everyone to build reliable and efficient software.
stagewise is the first frontend coding agent for existing production-grade web apps 🪄 -- Lives inside your browser 💻 -- Makes changes in local codebase 🤓 -- Compatible with all kinds of frameworks …
Simple high-level language for writing Internet Computer canisters
Federated query engine for AI - The only MCP Server you'll ever need
🚀2.3x faster than MinIO for 4KB object payloads. RustFS is an open-source, S3-compatible high-performance object storage system supporting migration and coexistence with other S3-compatible platfor…
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io
Lean 4 programming language and theorem prover
Tsurugi - next generation RDB for the new era
Main public package repository for opam, the source package manager of OCaml.
📁 What Dropbox should have been if it was based on SFTP, S3, FTP, WebDAV, Git, and more
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…
The core OCaml system: compilers, runtime system, base libraries
An open source trusted cloud native registry project that stores, signs, and scans content.
A static analyzer for Java, C, C++, and Objective-C
PBT testsuite and libraries for testing multicore OCaml
The library for web and native user interfaces.
The Mercury logic programming system.