#
Starred repositories
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
Codemod is a tool/library to assist you with large-scale codebase refactors that can be partially automated but still require human oversight and occasional intervention. Codemod was developed at F…
NAT Slipstreaming allows an attacker to remotely access any TCP/UDP services bound to a victim machine, bypassing the victim’s NAT/firewall, just by anyone on the victim's network visiting a website
A curated list of Rust code and resources.
Distributed SQL database in Rust, written as an educational project
Declarative Continuous Deployment for Kubernetes
Empowering everyone to build reliable and efficient software.
TLA+ specification for the Raft consensus algorithm
P2P Docker registry capable of distributing TBs of data in seconds
⚡ From finding text to search and replace, from sorting to beautifying text and more 🎨
A WeeChat script for Slack.com. Supports threads and reactions, synchronizes read markers, provides typing notification, etc..
Simple, efficient worker queue for Ruby & PostgreSQL.
A lightning-fast search engine API bringing AI-powered hybrid search to your sites and applications.
Tools for concurrent programming in Rust
Exposes IntelliJ IDEA features through the Language Server Protocol.
Spark: The Definitive Guide's Code Repository
A framework for distributed systems verification, with fault injection
A list of papers about distributed consensus.
A Ruby job queue that uses PostgreSQL's advisory locks for speed and reliability.
A fully Go userland with Linux bootloaders! u-root can create a one-binary root file system (initramfs) containing a busybox-like set of tools written in Go.