About MLambda
A software company building the stack for software that is verified before it is built.
MLambda was founded in 2019 in Heredia, Costa Rica, by Roy Gonzalez — a software architect with eighteen years in distributed systems and a second degree in the philosophy of formal science. The company exists because of one conviction: most software is tested after the fact and trusted on faith, and it does not have to be.
Where it came from
The mission predates the company. As an enterprise architect applying TOGAF across consulting and product work, the founder kept meeting the same gap: the architecture was sound, and the software drifted from it anyway, because nothing but people connected the two. The answer he set out to build was a system that understands architecture as TOGAF describes it, expresses every domain as a domain-specific language, and runs it on an actor framework built for reactive domain-driven design. MLambda was founded in 2019 to build exactly that — first the actor runtime, then the compiler workbench the languages needed, then the languages, and now Turing: rational tools that use language models to gather and validate requirements and symbolic artificial intelligence to derive the logic, the views, the tests and the verification from them.
What we build
A stack whose parts share a premise. Genesis is a compiler workbench that model-checks a specification before anything is built from it. Aleph is a language with a native foreign-function interface. MLambda.Actors is an actor runtime for .NET and MLambda.Data a database built entirely out of actors, its consistency model specified in TLA+. On top of them sits the Factory: a society of agents that turns a plain-language description into a formal specification, verifies it, and generates the tested, containerised system that follows from it.
How we work
Two tiers, stated on every product page. Open products are MIT-licensed and published on NuGet with public documentation. Commercial products have public documentation and are available under licence or through early access. The method page describes how systems get built here; the services page describes how to work with us.