daitai · 大体 · algebraic software for people who care
Software
you can prove.
Same input, same output — and you can prove it to an auditor. A language, an algebra, an IDE, and a compliance graph. Built by Code Daimyo.
↓ scroll
Verifiable today
Not promises. Numbers from actual runs.
- 0
- divergences over 500 × 2 replay passes
- 20 / 20
- algebraic invariants passing as a blocking CI gate
- 4 / 4
- parity cases byte-identical to JDK 17 stdout
- 2
- modules published as open source
No customer logos yet — we publish only evidence we can hand over.
Manifesto
Software has become disposable. Frameworks churn every two years. Code is generated faster than it's understood. Compliance is screenshots in a binder.
daitai is a refusal. We believe software deserves the same rigor as mathematics — that a program's behavior should be derivable from its types, that state transitions should compose like equations, that compliance should be a signed graph and not a PDF.
Built by Code Daimyo — a small studio in Sweden — for engineers and organizations who would rather understand their software than just ship it.