00:00
2026-09-06
ngrislain.github.io
developer-tools
Like Terraform, but in Lean 4
A developer spent two weekends building infra, an infrastructure-as-code tool in Lean 4 that functions like Terraform, supporting three clouds and 14 resource kinds across about 18,000 lines of code. …