Proton VPN Browser Extension

A collection of study materials and GNS3 labs for practicing CCNP 350-401.

Nix and Haskell in production

A declarative, type-safe UI library for PureScript.

Measure how much the OS interrupts programs

Distributed invariant mining tool

work contracts

Eg-walker paper, experiments and data.

📦 CMake's missing package manager. A small CMake script for setup-free, cross-platform, reproducible dependency management.

Notes and files from HaskellerZ meetups.

Domain Switcher extension for Google Chrome

Updated as of March 2026: sveltekit, effect v4, convex, tailwind, etc.

TINYCORO — Modern C++20 Coroutine Library For Asynchronous Programming

Comprehensive roadmap for aspiring Embedded Systems Engineers, featuring a curated list of learning resources

A Beman Library Exemplar (Template)

Search and organise images and videos offline with on-device AI.

MCP server and Claude plugin for Postgres skills and documentation. Helps AI coding tools generate better PostgreSQL code.

🤖 Just a command runner

A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.

Core abstractions for dealing with concurrency in C++

Useful Resources for Low Level System Design

An open-source Android app to let you browse YouTube and other services freely.

💫 Toolkit to help you get started with Spec-Driven Development

Example project showing the project structure of a simple blog app built with IHP

Unofficial Unicorn Mirror.

Exposing Boost.Context core API

100% pure-Fish test runner

A command-line productivity tool powered by AI large language models like GPT-5, will help you accomplish your tasks faster and more efficiently.

AI Chatbots in terminal for free