AEGIS high performance ciphers for Rust.

Cross-platform library to find out processes listening on network sockets

The financial transactions database designed for mission critical safety and performance.

Chaos testing, network emulation, and stress testing tool for containers

Docker-based utility for testing network failures and partitions in distributed applications

Turso is an in-process SQL database, compatible with SQLite.

A dynamic tiling extension for KWin

A model checker for implementing distributed systems.

Easy heterogeneous ring signatures for Git (and Github): prove membership among groups of users without revealing your identity.

peer-2-peer that just works

A curses terminal client for the Notmuch email system

A next-generation test runner for Rust.

Makes you a Rockstar C++ Programmer in 2 minutes

A testbed for NAT traversal software.

The Update Framework specification

📖 A collection of pure bash alternatives to external processes.

IETF QUIC library in Haskell

The GHC API, decoupled from GHC versions

A comprehensive Amazon Web Services SDK for Haskell.

A comprehensive Google Services SDK for Haskell.

DNS libary in Haskell

Run macOS on QEMU/KVM. With OpenCore + Monterey + Ventura + Sonoma support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.

Demonstration of various hardware effects.

Le Fromage de Terreur - Auto-generated Terraform DSL

Papers from the computer science community to read and discuss.

Example code for how we swap compiled code within a running Haskell process.

Painless relocation of Linux binaries–and all of their dependencies–without containers.

Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations

A Dependently Typed Functional Programming Language