Skip to content
View jessekelly881's full-sized avatar
😎
Probably Programming
😎
Probably Programming
57 followers · 61 following

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Public SponsorAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Public SponsorAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Highlights

Block or report jessekelly881

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
jessekelly881/README.md 
(defvar jesse
  '(:name        "Jesse Kelly"
    :pronouns    "thou/thee/thine"
    :age         31
    :title       "lead software engineer"
    :url         "jessekelly.me"
    :email       "[email protected]"
    :education   (mapcar '(λ (el) (concat el " @ The Ohio State University")
                         '("B.A. in Abstract Mathematics")
    :nationality "usa"
    :interests   '("functional programming" "emacs"
                   "rust" "crypto" "typescript" 
                   "effect-ts" "open source software" 
                   "web" "mathematics" "scuba" "travel")
    :lang        '(🇺🇸, 🇲🇽)))

Pinned Loading

  1. Rethink Rethink Public

    Another in the line of beautiful css themes for org exports using professional web development techniques. Targeted at clean, technical content.

    CSS 59 5

  2. Imagine Imagine Public

    A theme for org mode exports using professional web development techniques. Designed to be simple but also creative.

    CSS 40 2

  3. Emacs Emacs Public

    My emacs config. Built with the awesomeness that is lisp! Also includes lots of useful snippets. Enjoy!

    HTML 9

  4. effect-schema-compilers effect-schema-compilers Public

    Compilers for @effect/schema

    TypeScript 19 1

  5. io-ts-strings io-ts-strings Public

    String Types For io-ts

    TypeScript 10

  6. effect-types effect-types Public

    Collection of types for @effect/schema

    TypeScript 10