Products
We build tools and platforms that span from cloud-native SaaS to bare-metal systems software, unified by a commitment to provable correctness and enterprise-grade quality.
Platform & SaaS
Cloud-native products built on our Backbuild foundation.
Backbuild
The foundational SaaS infrastructure platform. Backbuild is both a product and the framework upon which all other GDS SaaS products are built. It dogfoods itself — Backbuild is the first SaaS platform delivered on its own foundations.
Learn more SaaS #2 — ActiveFictionMaker
An AI-assisted creative writing platform for authors and storytellers. FictionMaker is the second SaaS product built on Backbuild, validating the platform's ability to deliver distinct, full-featured products on shared infrastructure.
Learn moreSystems & Infrastructure
Low-level systems software built from first principles.
Pathways OS
A completely novel real-time operating system and Type 1 Hypervisor with a full desktop environment. Written in 100% provable Rust, not based on Linux, BSD, Unix, Windows, macOS, or any other existing OS. Built entirely from scratch using our compile-time HOL proof system.
Compile-time HOL Proof System
A formal verification system that proves code correctness at compile time using higher-order logic. Built on a library of thousands of mathematical proofs derived from 10 foundational concepts and foundational axioms, all verified by the HOL kernel.