natetheadequate
Junior at Northeastern University in Boston, MA. Studying computer science, math, physics, and chemistry. Still in love with Racket.
Boston MA
natetheadequate's Stars
lecopivo/SciLean
Scientific computing in Lean 4
ATOMSLab/LeanChemicalTheories
hylo-lang/hylo-lang.github.io
Landing page for Hylo
sinclairzx81/typebox
Json Schema Type Builder with Static Type Resolution for TypeScript
getify/foi-lang
Foi: a different kind of functional programming language
natetheadequate/findagravemiddleborough.ml
natetheadequate/simpleanswers.ga
natetheadequate/eqcalc.ml