Technomadic Consulting
Developer Experience - Compilers - Functional Programming
Helping teams build better developer tools, design programming languages, and adopt functional programming practices.
What I Do
Developer Experience Consulting
Improve your team's productivity by optimizing development workflows, tooling, and environments.
Compiler & Language Tooling
Design and implement compilers, interpreters, and language tooling for domain-specific and general-purpose languages.
Functional Programming Architecture
Architect robust, maintainable systems using functional programming principles and category theory.
Featured Projects
categorifier
HaskellA GHC plugin to interpret Haskell programs into any cartesian closed category. Enables alternative interpretations of code within a mathematical categorical framework.
yaya
HaskellYet another recursion scheme library for Haskell. Provides a principled approach to recursive data structures with support for total programming through well-founded recursion.
haskerwaul
HaskellCategory theory concepts encoded as Haskell type classes and instances. A playground for exploring categorical abstractions in a practical programming context.
project-manager
NixHome Manager, but for repositories. Manage per-project configuration declaratively using Nix, ensuring consistent development environments across your codebase.
no-recursion
HaskellA GHC plugin that removes support for general recursion, encouraging total programming by ensuring all recursion goes through well-founded patterns like recursion schemes.
ghc-compat-plugin
HaskellA GHC plugin that eases support for multiple GHC versions, helping library authors maintain compatibility across the Haskell ecosystem.