We're announcing Mikan: a proof assistant for cubical type theory, forked from the Agda codebase Open Source News Development Q: 7 R: 9 May 5, 2026 Summary
Behavior-Oriented Concurrency in Python: Lock-less, Deadlock-free, Ownership-based Open Source Development Automation Q: 8 R: 9 May 5, 2026 Summary
minipgp6: A very lean interpretation of modern OpenPGP PKI & Certificates Open Source Q: 8 R: 9 May 5, 2026 Summary
biscuit: Open-source firmware for the Xteink X4 e-paper device Hardware IoT & Embedded Open Source Q: 8 R: 8 May 5, 2026 Summary
Ace Template: Go from Rails New to Deployed in Under 5 Minutes (Self-hosted or PaaS) Automation DevOps Open Source Q: 8 R: 9 May 5, 2026 Summary
pgxbackup: Continuity Support for pgBackRest Backup & Recovery Database Open Source Q: 7 R: 8 May 2, 2026 Summary
ar pgxbackup: Continuity Support for pgBackRest Backup & Recovery Open Source Database Q: 8 R: 9 May 4, 2026 Summary
PgQue: Two Snapshots and a Diff Database Open Source Performance & Scalability Q: 9 R: 9 May 4, 2026 Summary
Bun (the js runtime) is being vibe-ported from zig to rust Open Source Development Q: 8 R: 9 May 4, 2026 Summary