Products
Two tiers, stated on every page. Open products are MIT-licensed on NuGet with public documentation; Commercial products have public documentation and are available under licence or through early access.
Open · MIT
-
Open · MIT
Genesis
A compiler workbench for building languages — and for verifying what they describe before it exists.
-
Open · MIT
MLambda.Actors
A reactive actor runtime for .NET with supervision, clustering, gossip membership and mTLS.
Commercial · early access
-
Commercial · early access
MLambda Turing
The architecture platform. Describe a system in plain language; get back one that was verified before it was built.
-
Commercial · early access
Aleph
A functional language that reaches the machine directly — C, assembly, LLVM and WebAssembly through a native FFI.
-
Commercial · early access
MLambda.Data
A distributed database in which every component is an actor — and the consistency model is a checked TLA+ specification.
-
Commercial · early access
MLambda.UI
A reactive MVVM framework that never calls a render method — one view, painted by ImGui, Blazor or Avalonia.
-
Commercial · early access
MLambda.OS
A Minix 3-inspired microkernel for x86-64, specified before it is implemented.
-
Commercial · early access
Hilbert
A mathematics language — formulas written as on paper, compiled to C# for reals and to ONNX graphs for tensors.