Facebook Open Switching System Software for controlling network switches.

LLM101n: Let's build a Storyteller

simplified query engine based on logic programming paradigm

chw00t - Unices chroot breaking tool

An open-source, cloud-native, unified time series database for metrics, logs and events, supporting SQL/PromQL/Streaming. Available on GreptimeCloud.

Automatically exported from code.google.com/p/smhasher

Using Continuation-Passing Style to optimize recursive decoding of binaries in Erlang.

Firefox privacy, security and anti-tracking: a comprehensive user.js template for configuration and hardening

FUSE-based file system for replicating SQLite databases across a cluster of machines

Linux eBPF backdoor over TCP. Spawn reverse shells, RCE, on prior privileged access. Less Honkin, More Tonkin.

Sample ebpf programs to analyze

eBPF verifier based on abstract interpretation

Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.

"git diff" over abstract syntax trees

How well do you know your area? Test your knowledge by locating streets with this game.

A fast and lightweight fully featured OCI runtime and C library for running containers

Wordle Solver inspired by 3blue1brown

A fully commented docker image and bunch of scripts that makes building Linux From Scratch easy, while striving to keep it educational.

🗺️ A legend for your keymaps, commands, and autocmds, integrates with which-key.nvim, lazy.nvim, and more.

the BLAKE3 hash function implemented in 6502 assembly

Awesome list of open-source startup alternatives to well-known SaaS products 🚀

Silly usage of AWS EC2 IPv6 prefixes

A Lisp interpreter implemented in Conway's Game of Life

A flexible tool for redirecting a given program's TCP traffic to SOCKS5 or HTTP proxy.

📚 A Neovim config designed from scratch to be understandable

Rust implementation of µKanren, a featherweight relational programming language.

a simple edge computing platform using nginx, lua and rails

Erlang interface to eBPF