A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

Specifications related to MongoDB

"rsync for cloud storage" - Google Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Wasabi, Google Cloud Storage, Azure Blob, Azure Files, Yandex Files

The P programming language.

FlatBuffers: Memory Efficient Serialization Library

Port of OpenAI's Whisper model in C/C++

WiredTiger's source tree

A Scala API for Apache Beam and Google Cloud Dataflow.

Stack trace visualizer

A fixed width data parser for Rust.

The MongoDB Database

A Scio extension that allows SPARQL to query a collection of triples

Ontop is a platform to query relational databases as Virtual RDF Knowledge Graphs using SPARQL

Simple & Efficient data access for Scala and Scala.js

🌸 A command-line fuzzy finder

Google Cloud Pub/Sub stream-based client built on top of cats-effect, fs2 and http4s.

Popcorn Linux kernel for distributed thread execution

maim (make image) takes screenshots of your desktop. It has options to take only a region, and relies on slop to query for regions. maim is supposed to be an improved scrot.

A library to make it easy to deserialize XML to user types in scala

Markdown Recipe Format used by Grocery

A fast CSV command line toolkit written in Rust.

Zstandard - Fast real-time compression algorithm

A tool for managing secrets on Google Cloud

Source for the TechEmpower Framework Benchmarks project

SPARQL graph database

Sophia: a Rust toolkit for RDF and Linked Data

Integrate external secret management systems with Kubernetes

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