Muniworth is a cloud-based SaaS startup in the growth phase, dedicated to empowering municipal utilities and governments with financial forecasting tools. Our platform enables local governments to achieve financial sustainability and make informed, data-driven decisions through robust modeling and compelling visuals.
We believe apparent correctness is not enough: code must respect underlying concepts, with types and named algorithms directly describing the domain. Great code is correct-by-construction, with any remaining uncertainties ruled-out by a suite of unit tests.
We strive to write pure, compositional code, with any inevitable impure code tamed by a rigid stratification of effects. To this end, we write TypeScript in a "Haskell-style" on the front end, and F# with an SQL database on the back end.
We have regular presentations, where engineers talk about whatever excites them, with previous topics including programming language theory, World of Warcraft addons, and the philosophy of AI.