Launches for “alternative to kotlin∇: shape-safe symbolic differentiation with algebraic data types”

Try: cheaper alternative to Intercom for a tiny team · track competitor pricing pages · AI that writes changelogs from git commits · record a demo video without editing · turn my Postgres schema into a REST API · turn meeting notes into tasks