1 link tagged with all of: programming + formal-verification + nanolang + virtual-machine
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.