MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems

CakeML: A Verified Implementation of ML

Browser compatibility data for Web technologies as displayed on MDN

CockroachDB — the cloud native, distributed SQL database designed for high availability, effortless scale, and control over data placement.

Cross-platform Rust rewrite of the GNU coreutils

Your self-hosted, globally interconnected microblogging community

Ceph is a distributed object, block, and file storage platform

Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

Free and Open Source, Distributed, RESTful Search Engine

The official mirror of the V8 Git repository

CLI tool for spawning and running containers according to the OCI specification

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…

Empowering everyone to build reliable and efficient software.

SeaweedFS is a distributed storage system for object storage (S3), file systems, and Iceberg tables, designed to handle billions of files with O(1) disk access and effortless horizontal scaling.

Consul is a distributed, highly available, and data center aware solution to connect and configure applications across dynamic, distributed infrastructure.

The official repository of Mozilla's Firefox web browser.

Official Rust implementation of Apache Arrow

Lean 4 programming language and theorem prover

HarfBuzz text shaping engine

A virtual machine for executing programs written in Hack.

JSON NIFs for Erlang

Statistical Machine Intelligence & Learning Engine

A Git-based CMS for Static Site Generators

If you live in the terminal, kitty is made for you! Cross-platform, fast, feature-rich, GPU based.

The Secure CommsOS™ for mission-critical operations

A collection of C++ HTTP libraries including an easy to use HTTP server.

Performant type-checking for python.

CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

GitLab CE Mirror | Please open new issues in our issue tracker on GitLab.com

Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy and maintain. Automate everything from code deployment to network configuration to clo…