There are no reviews yet. Be the first to send feedback to the community and the maintainers!
emacs.d
My emacs configuration (redux).doom.d
Private module for doom emacsanaphora-seminar
MIT topics in semantics seminar (Spring 2022): Discourse referents inside and outgetting-high-seminar
Materials for 24.979 - "Getting high: scope, projection, and evaluation order"hackcell
Apecs + SDL2 roguelikelingtex
My OPINIONATED LaTeX classes for syn-semnethask
patrl.github.io
My personal site, powered by org-publish.actr-notebook
monadicHeim
A state-monadic update semantics (WiP)cont-playground
A menagerie of sketches and speculations using continuations (WiP)exhMonad
Computing exhaustification in haskellrustlets
Tiny rust babies24.954
MIT pragmatics in linguistic theory course materialsgnome-inform7-nixpkg
WIP nix-expression for building gnome-inform7selectionfest
Berlin selectionFest websitelentil
Cooking up a yst clone with dhall (WiP)hhu-haskell
mg-playground
how-to-design-programs
setTalk
Functions to help with shifting from haskell lists to characteristic functions and vice versa (WiP)Love Open Source and this site? Check out how you can help us