Markdown source for Michael Abrash's Zen of Assembly Language (1990)

A simple calendar with events, customizable widgets and no ads.

Self-hosted audiobook and podcast server

Tool to convert proprietary bank statement to OFX format, suitable for importing to GnuCash or other personal finance applications.

Pretty good call graphs for dynamic languages

💻 🔑 ssh-agent for TPMs

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

A small C compiler

Prepare a video to be streamed with HLS

best possible use of sed

Terminal file manager

terminal audio visualizer for linux/unix/macOS/windblows*

Live display of current GitHub action runs

A list of various lists consisting of academics on Mastodon

RRDtool 1.x - Round Robin Database

A collection of my Semgrep rules to facilitate vulnerability research.

An open source bike computer based on Raspberry Pi Zero (W, WH, 2W) with GPS and ANT+ support, as well as offline maps and navigation functions.

tiniest x86-64-linux emulator

A light markup language

Notes on bread baking

Near Zero-Overhead Python Code Coverage

Mesa is an open-source Python library for agent-based modeling, ideal for simulating complex systems and exploring emergent behaviors.

🎄 Go code coverage to SVG treemap

Post-Apocalyptic Computing: bootstrapping Forth environment for LC-3 CPU

dthreads: Efficient Deterministic Multithreading

minimal continuous integration framework written in Tcl (used for Redis CI)

High-precision indoor positioning framework, version 3.

Osmocom TTCN3 tests suites; mirrored from https://gitea.osmocom.org/ttcn3/osmo-ttcn3-hacks

Easy to use OpenID Connect client and server library written for Go and certified by the OpenID Foundation

MQTT gateway for ESP8266 or ESP32 with bidirectional 433mhz/315mhz/868mhz, Infrared communications, BLE, Bluetooth, beacons detection, mi flora, mi jia, LYWSD02, LYWSD03MMC, Mi Scale, TPMS, BBQ the…