Capital Markets
US capital-markets infrastructure
A multi-year Canton tokenization roadmap in regulated production at a top-tier US capital-markets infrastructure firm.
Work
Selected engagements and systems.
Production systems for institutions, governments, and the AI frontier, across capital markets, AI, infrastructure, and the open source we maintain.
Selected work
Across every practice.
A cross-section of the work, from client systems to the open source we maintain.
Capital Markets
Major alternative-investments platform
We designed and built the production Canton DLT platform that runs a major wealth-management firm's alternative-investment lifecycle.
AI
ARIA Safeguarded AI
A multi-year UK government AI-safety engagement. We don't just implement the research. We help produce it, working with the mathematicians to turn frontier safety methods into software that runs.
Capital Markets
B3: Brazilian Stock Exchange
Brasil, Bolsa, Balcão, one of Latin America's largest exchanges, came to Canton, and to us, for the production system earlier blockchain technology could not deliver.
Infrastructure
Replit
Super Colliding Nix Stores, the local-overlay store infrastructure that anchors the code-execution layer under a leading AI coding environment.
Labs
Open-source infrastructure
We maintain the open-source ecosystems behind our Haskell and Rust work, from functional reactive programming to the toolchain behind the Ledger hardware wallet apps we ship, for the teams that build on them.
Capital Markets
Nasdaq Private Markets
Production Daml application development for a private-markets trading venue.
Tokenization
BTG Pactual
Tokenized REIT on Tezos delivered in 14 weeks.
AI Safety
MIRI
Haskell infrastructure and upstream compiler work for foundational alignment research.
AI Hardware
Groq
Software engineering, infrastructure, and tooling for AI accelerator teams.
Research
MIT CBMM and Kanwisher Lab
Research software and human-in-the-loop behavioral data collection.
Hardware
Myrtle.ai
DDR4 memory-controller IP in Haskell for FPGA-based neural-network deployment.
Infrastructure
PDT Partners
Institutional Nix migration in investment management infrastructure.
Nix
Nixpkgs cross-compilation
Complete rewrite and upstreaming of core cross-compilation infrastructure.
Compiler
GHC and GHCJS
Upstream compiler work and maintenance of critical Haskell infrastructure.