Launches for “alternative to c from scratch – learn safety-critical c with prove-first methodology”

Try: invoice tool for freelancers that chases payments · discord invite repar · turn meeting notes into tasks · turn my Postgres schema into a REST API · record a demo video without editing · AI that writes changelogs from git commits