A curated list of data oriented design resources.

A hardware-accelerated GPU terminal emulator focusing to run in desktops and browsers.

Python dice probability package.

A Language with Dependent Data and Codata Types

Language Server Protocol implementation for Rust based on Tower

TypeScript-like theorem prover

A collaborative bibliography of work related to the theory and practice of computational effects

JS engine lolz

An easy and powerful Rust HTTP Client

Data (de)serialization via declarative macros

What do we want? Fast builds. When do we want it? I'm sorry, I got distracted.

Rust const and no_std reflection — the last derive you'll ever need

wasm. bots. 🤖🧙‍♂️🧚🧙‍♀️⚔️🏰🤖

A next-gen Ragnarok Online client

Cozy Rust bindings to the tree-sitter C library and a robust highlighter

Open-source cron job and background task monitoring service, written in Python & Django

Node base VFX editor for pixel art.

TrueNAS Container Storage Provider for HPE CSI Driver for Kubernetes

Rust SSH client & server library

Smart SSH, HTTPS, MySQL and Postgres bastion that requires no additional client-side software

P2P terminal game about spacepirates playing basketball across the galaxy

The 2013 edition of the Source SDK

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

A tool for exploring each layer in a docker image

SeaweedFS is a fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk seek, cloud tiering. Filer supports Cloud Drive, cross-DC ac…

Kilo is a multi-cloud network overlay built on WireGuard and designed for Kubernetes (k8s + wg = kg)

An experiment in scalable routing as an encrypted IPv6 overlay network

Talos Linux is a modern Linux distribution built for Kubernetes.