University of Chicago CS '21 Interested in Functional Programming, Compilers, and NixOS. Current Research Software Engineer @ Princeton Research Computing
- New York
Pinned Loading
-
HaskellWASMSnake
HaskellWASMSnake PublicSnake game that runs in the browser using GHC's WebAssembly backend
-
nix-recorder
nix-recorder Public`nix-recorder` is a command-line utility designed to manage Nix shell environments. It allows users to dynamically add packages to their Nix shell environment, save the current state, and eject to …
Rust
-
WhichIsBetterAI
WhichIsBetterAI PublicWhichIsBetterAI uses AI models to compare concepts pulled from Wikipedia and then adjusts their ELO scores based on the models subjective opinion as to "Which is Better?"
Haskell
-
StarIsTypeBot
StarIsTypeBot Public`StarIsTypeBot` is a GitHub bot that crawls Haskell repositories and creates pull requests that change `*` to `Type` from `Data.Kind`.
Haskell
-
1,085 contributions in the last year
Day of Week | February Feb | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Activity overview
Contributed to
treadmill-tb/treadmill,
charles37/flake2,
charles37/zero2prod
and 24 other
repositories
Loading
Contribution activity
February 2025
Created 2 commits in 1 repository
35
contributions
in private repositories
Feb 1 – Feb 15