Patrick Elliott (@patrl)
github

patrl

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

emacs.d

My emacs configuration (redux)
Emacs Lisp
10
star
2

.doom.d

Private module for doom emacs
Emacs Lisp
6
star
3

anaphora-seminar

MIT topics in semantics seminar (Spring 2022): Discourse referents inside and out
TeX
6
star
4

getting-high-seminar

Materials for 24.979 - "Getting high: scope, projection, and evaluation order"
TeX
5
star
5

hackcell

Apecs + SDL2 roguelike
Haskell
3
star
6

lingtex

My OPINIONATED LaTeX classes for syn-sem
TeX
3
star
7

nethask

Haskell
2
star
8

patrl.github.io

My personal site, powered by org-publish.
Emacs Lisp
2
star
9

actr-notebook

Jupyter Notebook
2
star
10

monadicHeim

A state-monadic update semantics (WiP)
Haskell
2
star
11

cont-playground

A menagerie of sketches and speculations using continuations (WiP)
Jupyter Notebook
2
star
12

exhMonad

Computing exhaustification in haskell
Haskell
2
star
13

rustlets

Tiny rust babies
Rust
1
star
14

24.954

MIT pragmatics in linguistic theory course materials
TeX
1
star
15

gnome-inform7-nixpkg

WIP nix-expression for building gnome-inform7
Nix
1
star
16

selectionfest

Berlin selectionFest website
HTML
1
star
17

esslli2023-accessibility

1
star
18

lentil

Cooking up a yst clone with dhall (WiP)
Haskell
1
star
19

hhu-haskell

Jupyter Notebook
1
star
20

mg-playground

Jupyter Notebook
1
star
21

how-to-design-programs

1
star
22

setTalk

Functions to help with shifting from haskell lists to characteristic functions and vice versa (WiP)
Haskell
1
star