Skip to content
View HaydenLeBaron's full-sized avatar
🎹
🎹
21 followers · 42 following

Achievements

Achievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Organizations

@utahrobotics @delta-y-app

Block or report HaydenLeBaron

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
HaydenLeBaron/README.md

LinkedIn me@haydenlebaron.com GitHub GitLab

Agentic Software Engineering ⨯ High Assurance Systems

I build high-assurance software with functional programming, expressive types, domain-specific languages, and agentic development. I'm exploring formal verification as a guardrail for AI-assisted engineering.

Skills & tools

Agentic development

AI-assisted engineering, model-context integrations, and REST APIs.

Agentic Development MCP REST APIs

Functional programming & formal methods

Expressive type systems, embedded DSLs, theorem proving, and formal verification.

Lean 4 OCaml ReasonML Haskell Racket

Full-stack & API integration

Web and mobile interfaces, backend services, and payment integrations.

TypeScript React React Native Node.js C# / .NET GraphQL Stripe Zeal

Data, cloud & developer tooling

Data analysis, relational and document databases, cloud platforms, and containerized development.

Python SQL PostgreSQL MongoDB AWS AWS Agent Core Docker Shell Linux

More
GitHub activity Top languages Stats

Additional tools

Flutter Dart Firebase JavaScript C++ C Java Cypress Jupyter

Pinned Loading

  1. provably-packed provably-packed Public

    A Lean 4 eDSL for writing declarative, correct-by-construction packing lists for user defined expeditions (e.g. walking the Camino, hiking the CDT, dressing for a wedding)

    Lean 1

  2. arezzo arezzo Public

    A relative pitch/rhythm based eDSL built on Racket and Alda.

    Racket 1

  3. thesaurizate.fi thesaurizate.fi Public

    Thesaurizate autem vobis thesauros in caelo | Lay up thy treasures in The Cloud | (Simple TS/pgsl microservice template)

    TypeScript 1

  4. sweaty-tictactoe sweaty-tictactoe Public

    Tic-tac-toe for tryhards. Play for glory.

    Haskell 1

  5. delta-y-app/delta-y-releases delta-y-app/delta-y-releases Public

    Releases for the Delta-y app: A scrum-inspired personal productivity app for data-nerds with goals.

    Dart 3 1

  6. econ-sim econ-sim Public

    Simulation of a gatherer/bartering economy with a free market trading, demonstrating emergent properties like commodity money and the Matthew effect.

    TypeScript 1