1 link tagged with all of: programming + virtual-machine + testing + formal-verification
Click any tag below to further narrow down your results
Links
NanoLang is a lightweight programming language designed for large language models. It features mandatory testing, unambiguous syntax, and verified semantics. NanoLang can compile to native C or run on its own virtual machine with isolated foreign function interface support.