awesome-secure-program-synthesis. vibecoding, but correct and safe and secure and

github.com/for-all-dev/awesome-secure-program-synthesis

Problem

Audience

Updates

No founder updates yet. Check back soon.