Maynard (legally, Eli Maynard)

Personal Projects

2021–now

Personal Zettelkasten — ie, math notes and journaling
Boasts features like: extensible formats, embedded TeX, link inference, inline footnotes, and a very tight feedback loop
Javascript, HTML, Bash, LaTeX, Nix.

@mathsproofbot

2020

Fitch

2018

QBPL (2022): Mood-tracking Telegram bot and visualizer. Javascript, HTML, Nix.
G-word bot (2022): Miscellanous-function Telegram bot. Javascript, Nix.
Hours (2021–2022): Lightweight time-tracking CLI. Still used by a coworker. Purescript, Nix.
Y (2021): Branching chat app. Purescript, HTML, Nix.
local-postgres (2021): Management of local PostgreSQL clusters. libpq, Bash, Nix.
Daygen (2021): Daily "life randomizer". daygen.maynards.site. Purescript, HTML, Nix.
Ebbs (2020): Personal budgeting by-the-second instead of per-week or per-month. Python.
JINEdb (2020): A JS database living in the client’s browser. Typescript, IndexedDB.
Triad (2020): A simple turing-complete programming language. Haskell.
Unplate (2020): Minimal templating engine via (ab)use of Python’s reflection to emulate reader macros.
LaTeX & Macros (2018): Chrome extension for conveniently inputting math symbols as UTF-8 and more.
Lilt (2018): Context-free parser generator from a Backus-Naur-like specification. Nim.
Twit (2017): Scrapes Twitter for positive and negative word associations. Python.

XMonad (2022): two-dimensional workspaces in the XMonad window manager (WIP; link)
purescript-strings (2021): small improvement to Purescript stdlib (link)

Langs: Haskell, (Java|Pure|Type)script, Nix, HTML/CSS, (Postgre)SQL, Elm, Python, Nim, C, Java
APIs: Shpadoinkle, purescript-elmish, nodejs, VueJS, Flask + Jinja
Tools: Git(Hub), purs-nix, NixOps, Bash, Kakoune, (La)Tex

Platonic.Systems

Nov 2020–now

Haskell contractor

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!

University of California, Berkeley (2022–current): Attended as auditor. Model Theory, Set Theory.
University of Minnesota (2021–2022): Attended as auditor. Intro to Topology, Coding Theory, Intro to Modern Algebra.
Lewis & Clark College (2019–2020): Math+CS track. Computer Graphics, Linear Algebra. 3.89 GPA.
Montgomery Blair HS (2016–2019): Math+CS magnet. Statistics, Lisp/AI, Algorithms and Data Structures, Analysis of Algorithms, Graphics, Calculus I, II, III, Complex Analysis, Logic, Discrete Math, DiffEq. 4.29 weighted / 3.59 unweighted GPA

Achieved Dean's Honor List both semesters at Lewis & Clark
Montgomery Blair High School Honor Roll straight from 9th through 12th grade
Exploravision Honorable Mention (top 10% of submissions) 2018
Won the "Jankiest Quick Fix" award at Montgomery Blair High School's local hack day 2017
Has had rm segfault and ls error