Brent Yorgey

haskell-course. Introductory Haskell course materials (originally CIS 194 @ UPenn)

thesis. Brent's PhD thesis.

split. Standard Haskell list splitting library.

comprog-hs. Competitive programming utilities in Haskell

MonadRandom. A monad transformer and corresponding type class for computations which consume random values.

series-formelles. Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of formal series)

BlogLiterately. Command-line tool for formatting and publishing blog posts.

factorization-diagrams. Factorization diagrams!

species. Haskell

type-matrices. Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff

cpih. Competitive Programming in Haskell book

enumeration. Simple Haskell package for efficiently indexable finite and infinite enumerations.

haxr. Haskell

boltzmann. Haskell

dotfiles. My dotfiles.

AoC. Haskell

diagrams-play. Brent's personal experiments with diagrams

labelled-structures. Haskell

bin. Haskell

cv. TeX

hm-unification-fd. Example implementation of Hindley-Milner using the unification-fd package.

algorithms-POGIL. POGIL activities for an Algorithms course.

BlogLiterately-diagrams. Plugin for BlogLiterately to automatically compile embedded diagrams

lean-core-dump. Minimal example showing core dump in Lean4 with import of Mathlib.Control.Bifunctor

bible-reading-plan. Haskell

hakyll-course. Simple library for creating single-page course websites with Hakyll.

swarm-defs. My personal library of functions for https://github.com/swarm-game/swarm/ .

blog. Haskell

braids. Simple library for drawing braids

typed-combinators. Haskell

drive-turnin. Scripts for managing assignments turned in via Google Drive.

infer-applicative. Explorations of inferring a global applicative functor type for DSLs

diagrams-canvas. The HTML5 canvas backend for diagrams

new-active. Haskell

matching. Playing with matching game probabilities

HaskellLove21. Repository for my talk, "Competitive Programming in Haskell", at Haskell Love 2021.

todotxt-haskell. Haskell library for parsing and manipulating todo.txt format.

coronavirus-math-worksheets. Worksheets made for my son while home from school during the 2020 coronavirus pandemic.

ortho-polys. Enumeration and generation of orthogonal polygons

tau. The circle constant

format-calendar. Read course calendar information in a simple Yaml format and output as a Markdown table.

byorgey. Github profile README

shellbee. Command-line interface to Beeminder

cw-tree. Notes, articles, code, etc. related to the Calkin-Wilf tree