Haskell / Go / Nix Software Engineer

I build reproducible developer tools and backend systems, with a focus on maintainability, functional programming, and AI-assisted development.

• 🔬 halstead-metrics — complexity guardrails for AI-generated Go
• λ career-trainer — Haskell + Scotty + SQLite + Nix
• ❄️ Nix / reproducible development environments
• 🌐 antonioibarra.dev

A Go CLI that makes code complexity visible and enforces limits when reviewing AI-generated changes. Combines Go AST analysis and go/types with function-level Halstead metrics, JSON reports, and baseline comparisons to enforce complexity budgets.

A Haskell backend for career preparation, connecting typed domain models, Scotty HTTP routes, and SQLite persistence to track learning progress. Integrates OpenAI through structured JSON decoding with local fallback questions, and uses a Nix flake for reproducible development and builds.

Educational Cardano smart-contract examples exploring the eUTxO model with Aiken and TypeScript. Vesting validators and spending applications connect transaction constraints to wallet-driven workflows through MeshJS.

• Languages: Haskell · Go · Nix · TypeScript
• Backend: Scotty · SQLite · HTTP APIs
• Engineering: Functional programming · Reproducible environments · Developer tooling · AI-assisted development
• Specialized: Cardano · Aiken · eUTxO

Explore projects, Haskell architecture write-ups, and technical background at antonioibarra.dev.