patrl

getting-high-seminar

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

lingtex

My OPINIONATED LaTeX classes for syn-sem

monadicHeim

A state-monadic update semantics (WiP)

nethask

mg-playground

rustlets

Tiny rust babies

setTalk

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

agda-nix

Some boilerplate for using agda with nix

apecs

a fast, type driven, extensible ECS for game development

berlin-cataphora

berlin-disjunction

Slides for my Berlin workshop talk on disjunction

biblatex-lncs

BiBLaTeX style for Springer Lecture Notes in Computer Science

cascadilla-xelatex-biblatex

A class aiming to implement the style sheet of the Cascadilla Proceedings Project, using XeLaTeX and biblatex

clay-tachyons

Tachyons for the clay css preprocessor

conj-split-scope

The split-scope signature in continuation semantics

doom-emacs

An Emacs configuration for the stubborn martian vimmer

doryen-hs

WIP: A minimalistic roguelike engine written in haskell,

emacs-format-all-the-code

Auto-format source code in many languages with one command

exhMonad-app

haskell-nix-template

A template for haskell projects using the haskell.nix infrastructure and ghcide

learn-sdl2

Learning the haskell SDL2 bindings by working through Lazy Foo's tutorials: http://lazyfoo.net/tutorials/SDL/index.php

MinimalTemplate

Browser-based experiment, extending the MinimalTemplate to include different response measure

nethask-2

nixos-config

programmingWithCategories

MIT IAP course notebook

purescript-by-example

qmk_firmware

keyboard controller firmware for Atmel AVR and ARM USB families

rustBook

Working through exercises in the rust book

scratchpad

Mainly messing around in haskell

verifiedFPinAgda

Exercises from Verified Functional Programming in Agda