Add Semaprax compiler

[WavectAI]

Why this resource is awesome

Semaprax experiments with a compiler architecture built around a stable semantic program graph and revision-bound semantic patches. Its public v0.2 evidence documents typed semantic queries and verified native and browser/Wasm subsets while clearly separating implemented work from roadmap goals.

Checklist

• Use a meaningful title for the pull request and include the resource name.
• Explain why the resource is relevant to this list.
• Maintain alphabetical, case-insensitive ordering.
• Include a short description in addition to the link.

Verification

• Added Semaprax between Roslyn and Simple-MSIL-Compiler.
• Linked both the source repository and research/evidence hub.
• git diff --check