Launches for “alternative to dependently typed language for proofs that you can implement in one day”

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