slab1

slab1/axiom

Axiom — a systems language with algebraic effects, automatic parallelism, gradual ownership, and MCP time-travel debugging

0 stars 0 forks 0 watchers Rust MIT License
View on GitHub
5 Open Issues Need Help Last updated: Jul 20, 2026

Open Issues Need Help

View All on GitHub
Phase 1 (good first issue): port arith.constant / arith.addi emission 17 days ago
good first issue phase/1
slab1/axiom
0

Axiom — a systems language with algebraic effects, automatic parallelism, gradual ownership, and MCP time-travel debugging

Rust
Phase 4 (good first issue): add list_handlers tool to axiom-trace 17 days ago
good first issue phase/4
slab1/axiom
0

Axiom — a systems language with algebraic effects, automatic parallelism, gradual ownership, and MCP time-travel debugging

Rust
Phase 3 (good first issue): add own/borrow to one std container 17 days ago
good first issue phase/3
slab1/axiom
0

Axiom — a systems language with algebraic effects, automatic parallelism, gradual ownership, and MCP time-travel debugging

Rust
Phase 2 (good first issue): write purity-detection unit tests 17 days ago
good first issue phase/2
slab1/axiom
0

Axiom — a systems language with algebraic effects, automatic parallelism, gradual ownership, and MCP time-travel debugging

Rust
Phase 0: Wire Nova EXPECT-marker test suite into cargo test 17 days ago
good first issue phase/0
slab1/axiom
0

Axiom — a systems language with algebraic effects, automatic parallelism, gradual ownership, and MCP time-travel debugging

Rust