SEMAPRAX 0.2.0

SEMAPRAX is an experimental pre-alpha systems programming language from Wavect. Human-readable .spx source is projected into checked HIR and a versioned semantic graph with stable declaration identities, bounded context queries, deterministic diagnostics, and revision-bound semantic patches for coding agents. The current Rust prototype includes bounded native C11/Clang and WebAssembly Core lowering lanes. It is Apache-2.0 research software and is not production-ready. Source and specifications are available at https://github.com/wavect/semaprax.

Tags compiler programming-language rust webassembly developer-tools science-research open-source
License Apache
State development

Homepage Download

Recent Releases

0.2.024 Aug 2026 18:40 major feature: v0.2 is the current pre-alpha research prototype. It provides human-readable .spx source, checked HIR, persistent declaration identities, deterministic semantic graph projections, bounded agent context, revision-bound semantic patches, and bounded native C11/Clang and WebAssembly Core lowering. It is not production-ready.
24 Aug 2026 17:09 :