typednotes/lean-pq

Lean binding for libpq

2 best points · 1 comments · 2 Hacker News posts · 11 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Lean-pq a typesafe PostgreSQL connector for lean (2 points, 1 comments, by ngrislain, 2026-03-14)
• Lean-PQ – Type-safe PostgreSQL bindings for Lean 4 via libpq FFI (1 points, 0 comments, by ngrislain, 2026-02-25)