8000 patrl (Patrick Elliott) · GitHub
[go: up one dir, main page]
Skip to content
View patrl's full-sized avatar
80 followers · 75 following

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro

Block or report patrl

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

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

Report abuse

Pinned Loading

  1. patrl.github.io patrl.github.io Public

    My personal site, powered by org-publish.

    CSS 2

  2. hackcell hackcell Public

    Apecs + SDL2 roguelike

    Haskell 5

  3. lentil lentil Public

    Cooking up a yst clone with dhall (WiP)

    Haskell 2

  4. anaphora-seminar anaphora-seminar Public

    MIT topics in semantics seminar (Spring 2022): Discourse referents inside and out

    TeX 10

  5. emacs.d emacs.d Public

    My emacs configuration (redux)

    Emacs Lisp 18 1

  6. sinn-maschine sinn-maschine Public

    A procedure for auto-formalizing a semantics paper in Lean, keeping the author in the loop.

    Python 1

0