List view

• phase-3-polish

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

  Overdue by 25 day(s)

  •

  Due by February 20, 2026

  •3/4 issues closed
  75% complete1 open3 closed

• phase-2-calculator

  Simple calculator WASM app running on Zephyr board

  Overdue by 1 month(s)

  •

  Due by February 13, 2026

  •2/4 issues closed
  50% complete2 open2 closed

• phase-1-bazel

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

  Overdue by 1 month(s)

  •

  Due by January 30, 2026

  •5/7 issues closed
  71% complete2 open5 closed

• phase-0-cleanup

  Clean, organized repository with clear structure

  Overdue by 2 month(s)

  •

  Due by January 16, 2026

  •14/14 issues closed
  100% complete0 open14 closed