peterson

zeus-api

Ruby control API for Zeus Load Balancer and Zeus Traffic Manager

stl_treetop_parser

STL Treetop Parser

swiftios

atom-language-coq

Coq language support for the Atom editor

coq-huet

Examples from the Coq Tutorial by Huet et al.

dotfiles

Dotfiles

dump1090

Dump1090 is a simple Mode S decoder for RTLSDR devices

lets-haskell

An introductory course on Haskell and functional programming

lets-tree

An introduction to trees and related data structures in Haskell

yorgey-course

CIS194 homework solutions

echo-demo

:loudspeaker: Demonstrating Laravel Echo

fp-projects

A description of Functional Programming projects

geometric

hsjunk

Haskell junkcode

hsttt

TicTacToe in Haskell

intro-to-ml

lets-lens

Course material for lens

mal

mal - Make a Lisp

marlin-configs

Configuration files for marlin firmware

nicta-haskell-course

Functional Programming Course

peterson-kicad-libs

KiCAD library

peterson.github.io

Jekyll source for my blog

purescript-workshop

Step-by-step tutorial materials for the "A Whirlwind Tour of PureScript" workshop, held at YOW! Lambda Jam 2016 in Brisbane, and Compose Conf 2016 in Melbourne, Australia..

regs

saasux

Ruby XML interface to Saasu API

servant-persistent

A brief example of Servant with Persistent

talk-2016-02-lenses-ground-up

Lenses from the Ground Up, presented in Feb 2016 at CanFP.

ud120-projects

Starter project code for students taking Udacity ud120