patrl

emacs.d

My emacs configuration (redux)

.doom.d

Private module for doom emacs

anaphora-seminar

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

hackcell

Apecs + SDL2 roguelike

actr-notebook

cont-playground

A menagerie of sketches and speculations using continuations (WiP)

exhMonad

Computing exhaustification in haskell

patrl.github.io

My personal site, powered by org-publish.

24.954

MIT pragmatics in linguistic theory course materials

esslli2023-accessibility

hhu-haskell

how-to-design-programs

lentil

Cooking up a yst clone with dhall (WiP)

amr2fol

bibliography

My LaTeX bibliography resources

blog-resources

Extra resources for Tweag's blog posts.

cathyjohns

Dynamics

NYU Linguistics seminar, spring 2021, on dynamic semantics: from content to uptake

emacs

Catppuccin theme for emacs

Euterpea2

Euterpea version 2

firefox-nordic-theme

:snowflake: A dark theme for firefox theme created using the awesome Nord color palette.

hhu-advanced-sem

inq-hs

Inquisitive semantics scratchpad

merge-mem-arch

mit-job-talk

The HTML Presentation Framework

monad-bayes

A library for probabilistic programming in Haskell.

nixpkgs

Nix Packages collection

notebooks

pollen-mode

An Emacs major mode for editing in pollen markup language

reanimate

Haskell library for building declarative animations based on SVG graphics