byorgey Goto Github PK

hm-unification-fd

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

hs-logo

Logo turtle graphics interpreter in Haskell

hsenv

Virtual Haskell Environment builder

idris-dev

A Dependently Typed Functional Programming Language

intervals

Interval Arithmetic

irc-hooky

Send custom webhook-triggered notifications to IRC using a serverless architecture

it-lang

Simple imperative/iterative language and recursive interpreter, used as an example in CIS 399-03

jobtalk-dsls

2015 research job talk about diagrams, DSLs and tools

juicy.pixels

Haskell library to load & save pictures

labelled-structures

lens

Lenses, Folds, and Traversals

magic-picture

Create 'magic picture' puzzles from reference images.

matching

Playing with matching game probabilities

mkgroups

Create breakout groups for a virtual class

monad-supply

Support for computations which consume values from a (possibly infinite) supply.

monadrandom

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

new-active

noah-emacs

Noah's adventures in emacs

numinstances

Instances of numeric classes for functions and tuples

oh-my-zsh

A community-driven framework for managing your zsh configuration. Includes 40+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 80 terminal themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

ortho-polys

Enumeration and generation of orthogonal polygons

pandoc

Universal markup converter

promotion-hiw-2010

Talk at HIW 2010 on type promotion in GHC Haskell

rasterific

An Haskell rasterization engine

repertoire

Issue tracker for my piano repertoire.

replib

Replib: generic programming & Unbound: generic treatment of binders

sabbatical-talk

Talk at Hendrix College about what I did on my sabbatical in the fall of 2021.

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)

shellbee

Command-line interface to Beeminder

species