Libdivecomputer is a cross-platform and open source library for communication with dive computers from various manufacturers.

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

MariaDB server is a community developed fork of MySQL server. Started by core members of the original MySQL team, MariaDB actively works with outside developers to deliver the most featureful, stab…

SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.

Schema.org - schemas and supporting software

Open Source Oracle Compatible PostgreSQL.

A Scalable, User-Friendly Source Control System.

GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

The MongoDB Database

A IvorySQL server running in your browser

A novel data compression framework

List of projects that provide terminal user interfaces

Web player for terminal session recordings

Free universal database tool and SQL client

Zstandard - Fast real-time compression algorithm

Fast math typesetting for the web.

Arduino documentation (docs.arduino.cc)

Vagrant is a tool for building and distributing development environments.

Native-image plugins for various build tools

A subset of JavaScript language to use in nginx

Distributed I/O Daemon - a 9P file server

Platform for hosting and sharing terminal session recordings

Cado-NFS, An Implementation of the Number Field Sieve Algorithm

The Kotlin Programming Language.

Extremely Fast Compression algorithm

Peace of mind from prototype to production

Multichannel SDR based on fast convolution and IP multicasting

simavr is a lean, mean and hackable AVR simulator for linux & OSX

SSH for Rust, no_std and elsewhere

Official list of .gov domains