verified-software

Here are 2 public repositories matching this topic...

A programming system where computers write and verify all code. Formally verified components with machine-checkable proofs, zero sorry.

Personal storefront for verified software Bases — Astro + Go on Cloudflare (Workers, D1, R2, KV, Turnstile) + Dodo Payments.

Add a description, image, and links to the verified-software topic page so that developers can more easily learn about it.

To associate your repository with the verified-software topic, visit your repo's landing page and select "manage topics."