The Formal Programming Language Runtime
Owned by Nathan Dixon.
#1119 in WebAssembly
Used in formal-cli
2KB