Projects in Awesome Lists tagged with experimental-programming-language
A curated list of projects in awesome lists tagged with experimental-programming-language .
https://github.com/Cypher1/tako
An experimental programming language for ergonomic software verification
experimental-programming-language hoare-triples interpreter language programming-language-theory solver verification
Last synced: 09 May 2025
https://github.com/hchiam/please
An experimental programming language (transpiler) to make it easier to write code with speech recognition.
experimental-programming-language language programming-language speech-recognition
Last synced: 02 Jul 2025
