Discover @byorgey Open Source projects

Brent Yorgey (@byorgey)

byorgey

Stars
663
Global Rank 45,050 (Top 2 %)
Followers 488
Following 13
Registered almost 14 years ago
Most used languages

Haskell
76.5 %

TeX
17.6 %

Python
2.0 %

Sway 2.0 %

Emacs Lisp
2.0 %
Location 🇺🇸 United States
Country Total Rank 12,032
Country Ranking

Sway 2

Haskell
53

TeX
348

Emacs Lisp
772

haskell-course

Introductory Haskell course materials (originally CIS 194 @ UPenn)

thesis

Brent's PhD thesis.

split

Standard Haskell list splitting library.

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)

comprog-hs

Competitive programming utilities in Haskell

BlogLiterately

Command-line tool for formatting and publishing blog posts.

species

factorization-diagrams

Factorization diagrams!

type-matrices

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

enumeration

Simple Haskell package for efficiently indexable finite and infinite enumerations.

haxr

boltzmann

diagrams-play

Brent's personal experiments with diagrams

dotfiles

AoC

bin

hm-unification-fd

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

BlogLiterately-diagrams

Plugin for BlogLiterately to automatically compile embedded diagrams

cpih

Competitive Programming in Haskell book

hakyll-course

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

labelled-structures

typed-combinators

algorithms-POGIL

POGIL activities for an Algorithms course.

braids

Simple library for drawing braids

swarm-defs

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

HaskellLove21

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

todotxt-haskell

Haskell library for parsing and manipulating todo.txt format.

gtk-toy-diagrams

Utility functions for using diagrams with gtk-toy.

matching

Playing with matching game probabilities

gtk-toy

Toy Framework - Simplifies the creation of simple Haskell Cairo / GTK applications.

cv

coronavirus-math-worksheets

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

new-active

drive-turnin

Scripts for managing assignments turned in via Google Drive.

ortho-polys

Enumeration and generation of orthogonal polygons

sabbatical-talk

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

comp-gfs

cw-tree

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

shellbee

Command-line interface to Beeminder

test-active

genfuncs-talk

process-class-list

Process an Excel file containing a class roster into various useful formats.

cautious-file

Updated fork of the cautious-file package

HLF

Writing for the Heidelberg Laureate Forum blog

byorgey

Github profile README

magic-picture

Create 'magic picture' puzzles from reference images.

algorithm-art

jobtalk-DSLs

2015 research job talk about diagrams, DSLs and tools

repertoire

Issue tracker for my piano repertoire.

mkgroups

Create breakout groups for a virtual class

FARM-web

Hakyll website source for the FARM workshop

fp-aor-utils

Utilities created to support Functional Programming and the Art of Recursion

it-lang

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