Maynard (legally, Eli Maynard)

Personal Projects

Teacup 🍵 July 2024–now teacup.maynards.site	A cross between a notes app, computational notebook, programming language, and web framework JavaScript, HTML, CSS
Mation Dec 2022–now github.com/quelklef/mation	Front-end web framework written in PureScript Based on Elm; adds features like components, stateful IO, and flexible view pruning, but avoids complexity like slots, lifetimes, and messages Currently used in production at Live247.io
ζ 2021–now z.maynards.site	Bespoke note-taking/journaling software Boasts features like: extensible formats, embedded TeX, automatic cross-note linking, inline footnotes JavaScript, HTML, Bash, LaTeX, Nix Hosts my personal notes, mostly on math, mostly Category Theory and Abstract Algebra
mathsproofbot 2020 twitter.com/mathsproofbot	Automatically generates and Tweets mathematical proofs of first-order statements Python, Nix Now defunct due to changes in the Twitter Terms of Service 😢
Fitch 2018 maynards.site/fitch	Interactive theorem assistant for Fitch-style natural deduction Originally JavaScript, HTML, CSS; since rewritten in PureScript Used by a former teacher in his current logic classes!

Langs (proficient): Haskell, (Java|Pure|Type)script, Nix, HTML/CSS, (Postgre)SQL, Python
Tools: Git(Hub), (La)TeX, NixOps, Bash, Kakoune, purs-nix

Live247 Nov 2022–current Co-founder	Sole developer for the front- and back-ends of Live247.io (>25k LOC, mostly PureScript and JavaScript) PureScript, JavaScript, Nix, PostgreSQL, HTML, CSS Customer support, project management, code architecture, UI design
Platonic.Systems Nov 2020–Jul 2024 Haskell contractor	Full-stack Haskell development for Interos and Ageto Energy Haskell, Nix, PostgreSQL, JavaScript, HTML, CSS Also InfluxDB, SQLite, Grafana
University of Maryland Jun 2018–Nov 2019 Intern	Working under Prof. Gasarch in the Dept of Math to research approximations of the Van der Warden function from Ramsey Theory Utilized programming (Nim, Python) and pencil-and-paper math!
Nora School 2016–2017 Comissioned	Wrote a conference scheduling app in Python Flask/Jinja, HTML, CSS, and JS Used by 50+ parents and 15+ teachers Deployed on AWS; included database management and UI/UX design

U. of California, Berkeley (2022–current): Auditing. Model Theory, Set Theory, Category Theory. Currently teaching Category Theory.
U. of Minnesota (2021–2022): Audited. Topology, Coding Theory, Abstract Algebra.
Lewis & Clark College (2019–2020): Computer Graphics, Linear Algebra. 3.89 GPA.
Montgomery Blair HS (2016–2019): Math+CS magnet. Logic, Discrete Math, Calc I–III, Complex Analysis, Algorithms / Data Structures, Computer Graphics, DiffEq, Statistics, Lisp/AI. 4.29 weighted / 3.59 unweighted GPA

Upon request

Won the "Jankiest Quick Fix" award at Montgomery Blair High School's local hack day 2017
Has had rm segfault and ls error
Honor Roll student all semesters at Lewis & Clark and at Montgomery Blair
Exploravision Honorable Mention (top 10% of submissions) 2018