I build Haskell web applications with SQL and Nix, with a focus on explicit types, testable behavior, and reproducible development. My specialization is Cardano: Plutus, Aiken, and eUTxO design.
Start with Career Trainer for general Haskell backend work, then explore the educational Cardano projects.
Haskell backend / web application
Persist career goals and learning topics, generate practice questions, and update progress from submitted answers.
The technical write-up walks through domain records, SQL updates, API failure behavior, and the Nix development workflow.
One Haskell executable: Scotty routes over WAI/Warp, Lucid2 HTML, SQLite persistence, and an OpenAI API client with typed JSON decoding and local fallback questions.
Educational eUTxO application
Make UTxO and extended UTxO concepts concrete through an application that connects contract rules to wallet interactions.
This site does not currently link an implementation repository.
Aiken validation logic with a TypeScript, MeshJS, React, and Next.js off-chain interface.
Cross-stack learning hub
Compare on-chain and off-chain approaches across the Cardano development ecosystem.
This site does not currently link an implementation repository.
Examples spanning Aiken, Haskell, MeshJS, Python, TypeScript, and command-line workflows.
My project work connects functional programming to HTTP, database state, and external APIs. Cardano work adds experience reasoning about transaction constraints and invariants.
Career Trainer decodes generated questions into Haskell records and falls back to local questions when the API is unavailable.
Career goals and generated questions have explicit Haskell data models; SQLite stores learning state between sessions.
Career Trainer uses Nix flakes to declare its development environment, with documented run and development commands.
Grouped for fast scanning by recruiters and engineering leads.
Explore Haskell application architecture and reproducible development, deployment guides, and specialized Cardano review workflows.
Start with the Aiken validator review checklist, then use the Lean 4 formal-methods workflow, AI-assisted engineering workflow, and production delivery guides when you need review discipline, deployment, and DNS depth.
Predictable delivery, low ambiguity, and strong documentation.
Align on requirements, encode invariants, and prevent regressions with clear, testable behavior.
Small PRs, measurable checkpoints, and consistent progress that’s easy to review.
Async updates, strong handoffs, and documentation that keeps work moving across time zones.
Available for remote collaboration. Email is the clearest way to start a technical conversation.