Ongoing Storj v3 development. Decentralized cloud object storage that is affordable, easy to use, private, and secure.

PCB tooling by Diode Computers, Inc.

Fast, pipelined, resilient Redis driver for Elixir. 🛍

Elixir is a dynamic, functional language for building scalable and maintainable applications

Veecle Operating System for system development.

eBPF-based Security Observability and Runtime Enforcement

The debugger for microservices

eBPF-based Networking, Security, and Observability

Apache Iggy: Hyper-Efficient Message Streaming at Laser Speed

A model-checking tool for systems of communicating automata.

A peer-to-peer file-transfer tool in OCaml

Talos Linux is a modern Linux distribution built for Kubernetes.

Proof of work algorithm based on random code execution

Gonzo! The Go based TUI log analysis tool

Crash your app in style (Golang)

Distributed PostgreSQL as an extension

CortexBrain is an ambitious open-source project created by CortexFlow, aiming to develop an intelligent, lightweight, and efficient service mesh architecture that seamlessly connects cloud and edge…

JetKVM - Control any computer remotely

Embeddable, replicated and fault-tolerant SQL engine.

The personal finance app for everyone

🌐 The open-source Agentic browser; privacy-first alternative to Perplexity Comet, Arc, Dia

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

Google Cloud Rust Client Libraries

bluetooth mesh chat, IRC vibes

Chisel: A Modern Hardware Design Language

TamaGo - bare metal Go

the official Rust and C implementations of the BLAKE3 cryptographic hash function

Application Kernel for Containers

Copybara: A tool for transforming and moving code between repositories.

9legacy, a continuation of Plan 9 from Bell Labs.