Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications. It enables safe execution of untrusted code within micro virtual machines with very low latenc…

GoAccess is a real-time web log analyzer and interactive viewer that runs in a terminal in *nix systems or through your browser.

Litmus helps SREs and developers practice chaos engineering in a Cloud-native way. Chaos experiments are published at the ChaosHub (https://hub.litmuschaos.io). Community notes is at https://hackmd…

A transpiler that converts C programs into PlusCal specifications

Lightweight tool for managing linux virtual machines

LaTeX book with examples, open-source eBook

A list of awesome Robotics resources

An exabyte-scale, multi-region distributed file system

Tool for partial translation from C to Cogent (https://github.com/NICTA/cogent)

A gentle introduction to Isabelle and Isabelle/HOL

Dark theme for the Zed code editor

Dark UI theme for the Atom IDE

A lightweight tool for deploying and managing containerised applications across a network of Docker hosts. Bridging the gap between Docker and Kubernetes ✨

Mimesis is a fast Python library for generating fake data in multiple languages.

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦

Russian Translation for Software Foundations book.

Creusot helps you prove your code is correct in an automated fashion.

A collection of TLA⁺ specifications of varying complexities.

A static verifier for concurrent C programs

Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distributed Systems. In OOPSLA and Proceedings of the ACM on Programmi…

📚 Freely available programming books

The Cloud-Native API Gateway and AI Gateway

A modern high-performance open source message queuing system

🚀 Shot is a small HTTP client library for Erlang

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

The CompCert formally-verified C compiler

The high performance coroutine library for Linux/FreeBSD/MacOS/Windows, supporting select/poll/epoll/kqueue/iocp/windows GUI