Semaprax

Overview

Semaprax explores a programming model where coding agents work with typed semantic program graphs instead of reconstructing program meaning from raw text. Its pre-alpha prototype supports revision-bound semantic patches bounded agent context and deterministic native and WebAssembly output for documented language subsets.

Key features

• Stable semantic program graph
• Bounded agent context
• Revision-bound semantic patches
• Deterministic native and WebAssembly output
• Agent-oriented programming model