LedgerX
A double-entry accounting and inventory engine specified from first principles, then implemented as a mobile-first app. The specification is the authority — the implementation must conform to it, which is what keeps the books provably correct.