Sowiedu/Edict
AI Agents & AssistantsA statically‑typed, effect‑tracked programming language whose canonical program format is a JSON AST, enabling AI agents to write, verify, and execute code without any text parsing.
Features
- Programs are expressed as JSON AST (no lexer/parser)
- Structured error objects for agent self‑repair
- Rich type system with generics, records, enums, refinement types
- Effect tracking (pure, reads, writes, io, fails) enforced by the compiler
- Compile‑time contract verification via Z3/SMT
- Compiles verified programs to WebAssembly and runs them in a sandbox
Recent releases
View all 32 releases →
No immediate action
v1.20.0
New feature
edict_invoke, DenoHostAdapter, Workers deploy, SkillMemory
Weekly OSS security release digest.
The CVE patches and breaking changes that affected production tools this week. One email, every Sunday.
No spam, unsubscribe anytime.
About
Stars
7
Forks
2
Languages
JavaScript
TypeScript
Python
Downloads/week
73
↑110%
NPM Maintainers
1
Single npm maintainer
Contributors
3
TypeScript
Types included ✓
Install & Platforms
Install via
npm
Platforms
linux
arm64
