AEXOL™ SDL
A declarative DSL for modeling software systems. Describe what your system should do — types, workflows, visitors, agents — and Aexol generates production-ready code in the language of your choice.
Type
Declarative DSL
Generators
TS, Python, Rust, Go, JS
Concepts
Types, Enums, Workflows, Visitors, Agents
The Language That Speaks to AI
Aexol is a declarative domain-specific language for modeling software systems. Instead of writing boilerplate by hand, you describe what your system should do — its data types, business workflows, actor capabilities, and autonomous agents — and Aexol generates production-ready, type-safe code in the language of your choice.
One Spec. Production Code in Any Language.
Core concepts (Types, Enums, Workflows, Visitors, Agents)
Code generators (TypeScript, Python, Rust, Go, JS)
Single source of truth — spec is docs, types, scaffold
Aexol Documentation Read the docs
Five Concepts. One Specification.
Five core concepts combine to describe a complete system: types, enums, workflows, visitors, and agents.
- Types — data structures with fields
- Enums — fixed sets of named values
- Workflows — state machines with transitions
- Visitors — hierarchical capability trees for actors
- Agents — autonomous entities with capabilities
- Code generation in TypeScript, Python, Rust, Go, JS
Let's talk about your project.
Free consultation and quote within 48h. No strings attached.