Skip to content
View HaydenLeBaron's full-sized avatar
🎹
🎹
17 followers · 37 following

Achievements

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

Achievements

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

Organizations

@utahrobotics @delta-y-app
Block or Report

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
HaydenLeBaron/README.md

Hi 👋, I'm Hayden LeBaron!

haydenlebaron.com

Discord LinkedIn Email GitHub GitLab Indeed

I'm a software engineer who graduated from the University of Utah in computer science at the end of December 2021. Coffee and functional programming get me out of bed in the morning. Besides programming, I enjoy piano comp/improv, dirt biking, conlanging, zettelkasten, and great stories.

What am I currently working on

    TODO: Updateme

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

DevOps

Docker AWS Shell Linux Git

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

Plan to learn in the not-too-distant-future

Solidity Plutus Kubernetes

Soft Skills

Favorite Flavor of Ice Cream

Cookies & Cream

Fite me

Emacs > Vim

Pinned

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

  2. arezzo arezzo Public

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

    Racket 1

  3. ngram-langmodels ngram-langmodels Public

    N-gram language models for estimating the probability of strings given training data.

    Python

  4. santorini-player santorini-player Public

    A bot that plays the pure-strategy game, Santorini. Generates all possible valid moves, then chooses the best based on heuristics.

    Racket

  5. tyguy-1122/qs-location-dashboard tyguy-1122/qs-location-dashboard Public

    A quantified-self project that displays charts representing location data from Google Takeout. The user inputs a file path for downloaded JSON Google Takeout location data and the coordinates for p…

    Jupyter Notebook 5

  6. sweaty-tictactoe sweaty-tictactoe Public

    Tic-tac-toe for tryhards

    Haskell