jphmrst

bps

Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.

defblog

A web site/blog builder, implemented as a wrapper around org-project.

cl-nst

Unit testing for Common Lisp

bibviz

Build a browsable HTML view of BibTeX files and related documents.

cl-org-sampler

Extracting Common Lisp docstrings as Org-mode documents

anaphora-anywhere

Anaphoric references in Emacs Lisp, separate from any particular macro definitions.

bibcat

From a bibliography to a LaTeXed catalog list

PLC

An undergraduate-level introduction to programming language concepts: primarily using Agda, combining material from Wadler et al.'s PLFA and Pierce's SF.

scala-latex

Generate LaTeX/PDF output from within Scala

tlt

A Haskell test framework oriented towards stacked monad transformers

Advisobot

For your student advising, maybe making their lives a bit easier

borda-decoder

Quick-and-dirty decoder for Borda count evaluation of ranked selection in Google Forms result CSVs

elisp-autonarrow

Simple elisp function which applies buffer narrowing based on string patterns in a file. Handy to add to a mode hook.

Fieldhouse

Perl base class providing dynamic declaration and management of various accessor/mutator methods for internal fields.

Planrec

Plan recognition algorithm implementations

qdhxb

scala-automata

Representations of various versions of finite automata in Scala.

scala-outlines

Representation of structured text in Scala

scala-search

Search algorithm implementations in Scala

ScalaUtils

Minor miscellaneous Scala utilities.

tlt-tasty

TULpsa

Announcement roster generation and formatting tool for WTUL 91.5FM.