Skip to content
View hmac's full-sized avatar

Highlights

  • Pro

Block or report hmac

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier

Nix 163 6 Updated Feb 8, 2026

Wirebrowser is an advanced debugging and inspection tool built on the Chrome DevTools Protocol, unifying network interception, API replay, automation, and deep runtime/memory analysis in a single w…

JavaScript 466 13 Updated Feb 8, 2026

A clone of the strace command for macOS

Python 375 5 Updated Dec 23, 2025

Unix pager (with very rich functionality) designed for work with tables. Designed for PostgreSQL, but MySQL is supported too. Works well with pgcli too. Can be used as CSV or TSV viewer too. It sup…

C 2,687 88 Updated Jan 23, 2026

PLANKA is the kanban-style project mastering tool for everyone.

JavaScript 11,484 1,177 Updated Feb 7, 2026

Rust library and daemon for easily starting postgres databases per-test without Docker

Rust 242 15 Updated Feb 6, 2026

Frame profiler

C++ 15,217 1,002 Updated Feb 8, 2026

An easy-to-use, zero-downtime schema migration tool for Postgres

Rust 1,823 39 Updated Feb 6, 2026

Symbolic formula representation and solver interaction library

Haskell 174 13 Updated Feb 8, 2026

Reparent a running program to a new terminal

C 6,176 227 Updated Nov 20, 2025

An ML-like functional programming language

Haskell 344 22 Updated Oct 17, 2021

a small .pdf management tool with a command-line UI

Haskell 746 22 Updated Jun 11, 2022

📚 Freely available programming books

Python 382,309 65,893 Updated Feb 6, 2026

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

Jupyter Notebook 28,476 7,947 Updated Jun 25, 2024