Haskell
Reflex-FRP
Functional reactive programming for production Haskell applications.
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.
Evidence
Selected work.
Client systems, governance positions, and the ecosystem infrastructure we maintain.
Haskell
Obelisk
Full-stack Haskell framework for web and mobile applications.
Rust/Nix
Alamgu
Rust and Nix toolchain behind the Ledger hardware wallet apps we ship.
Compiler
GHC and GHCJS
Upstream compiler work and maintenance of critical Haskell infrastructure.
Nix
Nixpkgs cross-compilation
Complete rewrite and upstreaming of core cross-compilation infrastructure.
Compiler
ghc-iphone
Early work bringing Haskell to mobile targets and production application surfaces.
Advanced programming, in production
Advanced programming is how we raise the ceiling of what is buildable. Expressive languages, strong type systems, and formal methods let us handle complexity that defeats ordinary tools. We help build that foundation, contributing to the compilers, languages, and frameworks that others rely on.
The through-line
We work at the frontier of what software can do. We help produce the breakthroughs, in research and formal methods, and turn them into systems that run in production.
Have an advanced-programming problem?
We work on compiler, language, formal-methods, and production Haskell/Rust systems.