Sowiedu/Edict: A programming language designed for AI agents. No parser, no syntax — agents produce AST directly as JSON. Statically typed, effect-tracked, contract-verified, compiled to WASM via MCP.
Language: TypeScript
Topics: ai, ai-agents, compiler, effect-system, formal-verification, json-ast, llm, mcp, model-context-protocol, programming-language, type-system, typescript, wasm, webassembly, z3
Category: agent-orchestration-frameworks