Practice areas
Several frontiers, one partner.
Capital markets, AI, infrastructure, and advanced programming. We push the state of the art in each, and ship the production systems institutions depend on.
One standard
Many domains, one bar.
Each practice has its own clients and its own stack. What they share is the standard: understand the problem deeply, apply formal reasoning where it counts, and own the result all the way to production.
Capital Markets
Obsidian Capital Markets
Capital markets infrastructure on Canton, in production.
We build the Daml and Canton systems behind regulated tokenization, settlement, collateral mobility, and the multi-party workflows institutions actually run on. And we are the ones who bring those institutions, and the real-world assets they hold, onto Canton.
Learn moreAI
Obsidian AI
Rigorous engineering for the AI frontier.
Where the math has to be right and the code has to ship: AI-safety research, accelerator and hardware tooling, and the research software serious labs depend on.
Learn moreInfrastructure
Obsidian Infrastructure
Platform engineering at institutional scale.
The build systems, supply-chain security, deployment, and developer platforms that serious teams depend on, engineered to stay reproducible and reliable, and backed by deep Nix authority.
Learn moreLabs
Obsidian Labs
From frontier theory to production operations.
We don't just use advanced programming. We help define it, contributing upstream to the compilers and tools behind languages like Haskell and Rust, and turning ideas from theory and formal methods into production software.
Learn more