Truly independent web browser

An Inference Engine based on Propositional Calculus written in Common Lisp

Readings in Databases

A cloud native embedded storage engine built on object storage.

✨ Magical shell history

A concise, beginner-friendly introduction to the core ideas of linear algebra.

Opinionated Arch/Hyprland Setup

🐴 Pony dependency manager tool

🐴 Pony is an open-source, actor-model, capabilities-secure, high performance programming language

My implementation of SimpleDB in Rust

A simple command-line tool to run a knockout tournament

My NixOS configurations.

Opinionated Ubuntu Setup

MIRROR of: https://codeberg.org/mfussenegger/nvim-jdtls

Ping, but with a graph

Practice Go: a collection of Go programming challenges

👾 Modern and minimalist pixel editor

Ohayou(おはよう), HTTP load generator, inspired by rakyll/hey with tui animation.

(educational) build your own disk based KV store

Pits n' Giggles - F1 23/24/25 Live Telemetry Tool

A maintained, feature-rich and performance oriented, neofetch like system information tool.

Computing-focused community centered around link aggregation and discussion

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

🏡 Open source home automation that puts local control and privacy first.

A community-supported supercharged document management system: scan, index and archive all your documents

A course of building an LSM-Tree storage engine (database) in a week.

A functional query language

A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.

Stock options, RSUs, taxes — read the latest edition: www.holloway.com/ec