Larry Diehl

Lemmachine. REST'ful web framework in Agda

revolve. Flexible Ruby stack-based Genetic Programming

leveling-up. Source code accompanying the paper "Leveling Up Dependent Types"

specjure. Behaviour Driven Development framework for Clojure

neurosis. Ruby Sinatra REST frontent to simple Haskell MLP Neural Network (AKA Hubris Haskell->Ruby bridge demo)

will_paginate. WillPaginate with ActiveResource support

linear-temporal-logic. sandbox for playing with linear temporal logic

spire. The Spire Programming Language

uAgda. [UNOFFICIAL FORK] Making uAgda work with ghc 7.4.1

zero-cost-coercions. Source code accompanying the draft paper "Zero-Cost Coercions for Program and Proof Reuse"

pigit. seeing what Epigram looks like after a darcs-fastconvert (NOT AN OFFICIAL MIRROR)

pigeons-blood. Ruby methods that can be used in place of language keywords.

paralyze. Various way to run RSpec in parallel and Paralyze computers running it.

plclub-expless. PL Club talk on Expressionless Weak-Head Normal Forms

mltt-lecture. TeX

workling. easily do background work in rails, without commiting to a particular runner. comes with starling and spawn runners.

thesis. Agda

sbe. Accompanying source code for technical report "Hereditary Substitution by Canonical Evaluation (SbE)".

scotrubyconf. [presentation] Dependent Types: A Look At The Other Side

random-bug-walk. Random Bug Walk assignment for UCF - CET 4523 - Applied System Analysis II

quickcheck-state-machine. Test monadic programs using state machine based models

plclub-oct-2012. Code for a PL Club I gave at PSU on October 26, 2012

methodical. "Think before you call methods"

plclub-apr-2013. Code for a PL Club I gave at PSU on April 19, 2013.

dtp10. presentation i gave at a dependent types workshop when i was more naive than now

gpcl. Genetic Programming using Combinatory Logic