An usable and maximally efficient C standard library(github.com)46 points by ssklash 2 years ago | 19 comments
Python utility package for building Claude Code hooks(github.com)17 points by ankitg12 5 months ago | 1 comments
Quint: A specification language based on the temporal logic of actions (TLA)(github.com)88 points by abathologist 2 years ago | 26 comments
Show HN: Hook – a simple graphical C/C++ runtime editor(github.com)58 points by fercircularbuf 2 years ago | 20 comments
Show HN: Stripe-no-webhooks – Sync your Stripe data to your Postgres DB(github.com)53 points by prasoonds 8 months ago | 20 comments