Dafny: Verification-Aware Programming Language(dafny.org)88 points by handfuloflight 10 months ago | 30 comments
Yorick is an interpreted programming language for scientific simulations(yorick.sourceforge.net)52 points by Tomte 3 years ago | 18 comments
Show HN: Zyme – An Evolvable Programming Language(zyme.dev)137 points by almusdives 1 year ago | 17 comments