Pinned Repositories
academic
ASynK
Flexible Bi-directional sync for Emacs BBDB, Google Contacts, and MS Outlook
brewlog.github.io
clj-orient2
A Clojure driver for orientdb.
cs101-jupyter
cs421-mp1
Releasing MP 1 for CS 421
haskell-book
lambda
A simple lambda calculus reducer
multigit
A haskell script to facilitate working on multiple git repositories in parallel.
mattoxb's Repositories
mattoxb/cs101-jupyter
mattoxb/cs421-mp1
Releasing MP 1 for CS 421
mattoxb/haskell-book
mattoxb/academic
mattoxb/brewlog.github.io
mattoxb/codeProperty
Determine if given Haskell code makes certain kinds of recursive calls.
mattoxb/cs101-web-fa24
mattoxb/cs421-activity-adt
mattoxb/cs491-web-sp24
mattoxb/dateseq
mattoxb/get-ds-jan2022
A jupyter notebook for the GET program, January 2022.
mattoxb/gradedb
My script to manage student grades
mattoxb/haskell-grader
mattoxb/k-in-k
mattoxb/kaust-code-sp23
mattoxb/kaust-sp22
mattoxb/kaust-sp22-web
mattoxb/kaust-sp23
mattoxb/latex-autocompile
mattoxb/nixos-config
mattoxb/nixos-overlays
mattoxb/presentations
Presentations I have written.
mattoxb/prolog
A prolog interpreter written in Haskell.
mattoxb/renferm.com
mattoxb/sharpparse-happy
mattoxb/uiuc-cs421-sp21
mattoxb/uiuc-cs421-sp22
mattoxb/uiuc-cs491-cap
mattoxb/wowchemy-shortcode-awsvideo
A video link for AWS hosted video
mattoxb/wowchemy-shortcode-uva