Name: Hayden LeBaron
Type: User
Bio: Functional programming enthusiast. Interested in PL theory and philosophy. Pikachu main.
Location: Salt Lake City, UT
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.
ahkscripts
arezzo
A relative pitch/rhythm based programming language built on Racket and Alda.
blockchain
A simple Blockchain in Python
digital-garden-jekyll-template
Start your own digital garden using this Jekyll template 🌱
doit
A simple to-do list app
doom-emacs-private
My private config for Doom Emacs
doom.d
My doom.d configuration.
elisp-demos
Demonstrate Emacs Lisp APIs
exp-fp-course-re
fp-course
Functional Programming Course
fp-learning-process
funxychat
`let sGet = fun x y -> "CHAT";;` (* "An anonymous chat service you can trust against your better judgment.™" *)
golang-learning
A repo full of Go code snippets and notes I made while I was learning the language.
haydenlebaron
My profile
haydenlebaron.github.io
Hayden LeBaron's portfolio website.
learn-prog-langs
Repo for learning programming languages
mdwiki-cartographer
Creates a directed graph image representing the link structure of a markdown wiki.
my-configs
Personal scripts for initializing my system on new machines.
ngram-langmodels
N-gram language models for estimating the probability of strings given training data.
nlp-corporate-info-extractor
NLP information extraction system for extracting info like seller, sellee, location, etc. for corporate acquisition events in English texts.
old-doom-emacs
An Emacs framework for the stubborn martian hacker
org-anki
Sync org notes to Anki via AnkiConnect
org-roam
Rudimentary Roam replica with Org-mode
org-roam-ui
A graphical frontend for exploring your org-roam Zettelkasten
pong-game
A simple pong game written with pygame.
powershell-profile
My powershell profile
prog-assignment1-cs4230
Programming assignment 1 for cs4230
santorini-player
A bot that plays the pure-strategy game, Santorini. Generates all possible valid moves, then chooses the best based on heuristics.
sudokudoka
A Sudoku solver and generator, written in Racket.
sweaty-tictactoe
Tic-tac-toe for tryhards
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
