Self-hosted systems + scientific programming language with epistemic types, uncertainty propagation, algebraic effects, and formalized non-associative algebra.
This repository also configures its own agents. See what sounio tells them →
Skill Claude CodeCodex
Extend Sounio's automatic differentiation capabilities to higher‑order derivatives, Hessians, differentiation through control flow, and GPU‑accelerated gradient computation, enabling state‑of‑the‑art scientific machine learning.
Skill Claude CodeCodex
Extend Sounio's epistemic types with advanced uncertainty quantification methods, such as confidence intervals, non‑Gaussian distributions, and Dempster‑Shafer evidence combination, positioning the language at the state‑of‑the‑art in measurement science.
Skill Claude CodeCodex
Integrate formal verification tools (SMT solvers, Lean) to prove properties of epistemic programs, such as uncertainty bounds, confidence guarantees, and provenance integrity, establishing Sounio as a language with mathematically verified scientific claims.
Skill Claude CodeCodex
Perform systematic, safety‑preserving refactoring of code in any language, using dependency analysis, invariant detection, and verification techniques to avoid introducing bugs.
Skill Claude Code
Type-check a Sounio .sio file using the souc compiler.
Skill Claude Code needs its repo
Scan a .sio file for Rust-isms and suggest Sounio-native fixes.
Skill Claude Code
Compile and run a Sounio .sio file and show output.
Skill Claude CodeCodex
Choose which AI model to use for a given Sounio task: type-checker changes, render examples, PGO passes, docs/skills updates, bootstrap debugging, codebase sweeps, and paper sections.
Skill Claude CodeCodex needs its repo
Work on the self-hosted Sounio compiler bootstrap path: self-hosted/main.sio pipeline modes (--lex, --parse, --check, --ir-dump, --native-compile), frontend corpus gates, and bootstrap binary milestones.
Skill Claude CodeCodex
Work on Sounio code generation and backends (Cranelift, LLVM, GPU, native ELF backend); use when editing compiler/src/codegen/, compiler/src/backend/, or backend-adjacent runtime glue.
Skill Claude CodeCodex
Implement and debug Sounio MIR/SSA analyses and optimization passes (CSE/DCE/const-prop/LICM); use when editing compiler/src/mir/ or adding MIR-level performance work.
Skill Claude CodeCodex
Work on Sounio epistemic computing: Knowledge/uncertainty/confidence/provenance, ontology bindings, and dependent epistemic subtyping/proofs; use when editing compiler/src/epistemic/, compiler/src/dependent/, or stdlib/epistemic/.
Skill Claude CodeCodex
Keep examples/ compiling and aligned with the compiler; use when editing examples or enforcing example hygiene.
Skill Claude CodeCodex
L0 epistemic core of Sounio: language identity, epistemic invariants, and effect discipline; use when explaining or extending the L0 language semantics.
Skill Claude CodeCodex
Write and edit Sounio .sio code, examples, and language docs; enforce Sounio-native syntax (var, &!, explicit with effects) and reduce Rust-like drift across examples/, tests/, and docs/.
Skill Claude CodeCodex needs its repo
Work on the native x86-64 code generation backend: register allocation, instruction encoding, peephole optimization, frame sizing, ELF output, and the compileirfunction pipeline; use when editing any sprint 52–65+ native/.sio files.
Skill Claude CodeCodex
Work on Sounio scientific ontology integration (term resolution, embeddings, semantic typing, federated ontologies); use when editing compiler/src/ontology/ or ontology-related diagnostics/types.
Skill Claude CodeCodex needs its repo
Work on the profile-guided optimization pipeline: counter injection, .sprof file output, strategy promotion, inlining, layout, const-fold/DCE, and register allocation; use when editing any sprint 38–52+ IR optimization files.
Skill Claude CodeCodex needs its repo
Work on the Sounio render platform: stdlib/render/ API, examples/render/ examples, website showcase generation, and GPU backend emitters; use when editing any render-related .sio file or website preview.
Skill Claude CodeCodex
Develop the Sounio standard library (stdlib/): add/edit modules, keep APIs consistent, and update STDLIBREFERENCE.md; use when working on stdlib .sio code or stdlib docs/tests.
Skill Claude CodeCodex
Add and maintain Sounio tests: tests/run-pass, tests/compile-fail, tests/ui, and Rust integration tests under compiler/tests; use when writing regressions or adjusting diagnostics expectations.
Skill Claude CodeCodex
Work on Sounio tooling: LSP, VSCode extension, playground (WASM), and Jupyter kernel; use when editing compiler/src/lsp/, editors/vscode/, playground/, or jupyter/.
Skill Claude CodeCodex
Work on Sounio type checking and effect system (bidirectional inference, effect inference/enforcement, and type rules); use when editing compiler/src/typeck/, compiler/src/types/, compiler/src/check/, or compiler/src/effects/.
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: