List view

• phase-3-polish

  Polished, documented, reproducible demo ready for v0.1.0 release

  Overdue by 4 month(s)

  •

  Due by February 20, 2026

  •4/4 issues closed
  100% complete0 open4 closed

• phase-2-calculator

  Simple calculator WASM app running on Zephyr board

  Overdue by 4 month(s)

  •

  Due by February 13, 2026

  •4/4 issues closed
  100% complete0 open4 closed

• phase-1-bazel

  Working Bazel build for Rust crates, OCaml extraction, and integration tests

  Overdue by 5 month(s)

  •

  Due by January 30, 2026

  •7/7 issues closed
  100% complete0 open7 closed

• phase-0-cleanup

  Clean, organized repository with clear structure

  Overdue by 5 month(s)

  •

  Due by January 16, 2026

  •14/14 issues closed
  100% complete0 open14 closed