A modern replacement for Redis and Memcached

Empowering everyone to build reliable and efficient software.

UNIX-like reverse engineering framework and command-line toolset

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

Facebook Open Switching System Software for controlling network switches.

Application Kernel for Containers

Open source codebase powering the HuggingChat app

OpenZeppelin Contracts is a library for secure smart contract development.

FoundationDB - the open source, distributed, transactional key-value store

Multi-Joint dynamics with Contact. A general purpose physics simulator.

A composable and fully extensible C++ execution engine library for data management systems.

Static Analyzer for Solidity and Vyper

A static analyzer for Java, C, C++, and Objective-C

eBPF-based Networking, Security, and Observability

A scalable overlay networking tool with a focus on performance, simplicity and security

Hazelcast is a unified real-time data platform combining stream processing with a fast data store, allowing customers to act instantly on data-in-motion for real-time insights.

A Raft Library in C++ based on the Raft implementation in Apache Kudu

openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 300+ supported cars.

A full-stack framework for quantum computing.

Realtime application framework (Node.JS server)

An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.

Modern C++ quantum computing library

Apache Flink

A browser based code editor

24 Lessons, 12 Weeks, Get Started as a Web Developer

A Django content management system focused on flexibility and user experience

static analysis of C/C++ code

Mirror of https://gitlab.redox-os.org/redox-os/redox

An extensible and friendly code review tool for projects and companies of all sizes.

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more