Skip to content
View HaydenLeBaron's full-sized avatar
🎹
🎹
19 followers · 39 following

Achievements

Achievement: Public SponsorAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Public SponsorAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Organizations

@utahrobotics @delta-y-app

Block or report HaydenLeBaron

Report abuse

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

Report abuse
HaydenLeBaron/README.md

Discord LinkedIn Email GitHub GitLab Indeed

Technologies I use

Languages

OCaml Reason Racket Haskell

Python JavaScript GraphQL SQL

Frameworks & Libraries

React React Native Flutter

Redux

Databases & Environments

PostgreSQL Firebase Node.js Jupyter

More

Resume Top languages Stats

Much of my work is on GitLab

Other technologies

Have used, but not currently using

C++ C C# Dart Java NumPy Pandas Cypress ROS

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. funxychat funxychat Public

    (* "An anonymous CLI-based chat service you can trust against your better judgment.™" *)

    OCaml 1

  4. 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

  5. sweaty-tictactoe sweaty-tictactoe Public

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

    Haskell 1

  6. 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