Roadmap

We’re building Plank in stages, each designed to ship a meaningful increment while moving towards our end goal of creating a complete, production-ready language.

1. ✅ v0.1 - The MVP (Shipped April 2026)
   • ✅ E2E Compilation
   • ✅ Minimal Comptime
   • ✅ Standard Library
2. 🚧 v0.2 - Practical Plank (Q4 2026)
   • ✅ Better Comptime (any-type arguments, eager functions, comptime bytes)
   • 🚧 SOTA Stack Scheduling
   • 🚧 Basic compiler optimizations
   • 🚧 Contract Primitives in Standard Library
     • 🚧 Improved ABI encoding & decoding
     • 🚧 Storage layout generation
     • 🚧 ERC712
3. 🧭 v0.3 (Name & Timeline TBD)
   • 🧭 Linear Types
   • 🧭 Enums (aka tagged unions)
4. 🧭 Tooling & Content (TBD)
   • 🚧 New branding and site refresh
   • 🚧 Learning Resources (Tutorials, Docs)
   • 🧭 LSP (autocomplete, in-editor diagnostics)
   • 🧭 Tight Foundry integration / custom framework
5. 🚧 E2E Formally Verified (TBD)
   • ✅ Exploratory formalization work in Lean4
   • 🚧 Formalize SIR in Lean4
   • 🧭 Verify parallel SIR optimizer and backend
   • 🧭 Formalize Plank in Lean4
   • 🧭 Verify Plank frontend in Lean4
   • 🧭 Get a third-party audit of the specifications

This project is open source and self-funded. If you’d like to support our work and help accelerate our timelines, we’re accepting donations.