io.github.Sowiedu/edict
by io.github.Sowiedu · Added 9d ago
Install
git clone https://github.com/Sowiedu/EdictAbout
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
Tags
ai-mlmcp-serverofficial-registry
by io.github.Sowiedu · Added 9d ago
git clone https://github.com/Sowiedu/EdictAI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.