jphmrst Goto Github PK

advisobot

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

anaphora-anywhere

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

bibcat

From a bibliography to a LaTeXed catalog list

bibviz

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

borda-decoder

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

bps

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

cl-nst

Unit testing for Common Lisp

cl-org-sampler

Extracting Common Lisp docstrings as Org-mode documents

defblog

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

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

plc

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

qdhxb

scala-automata

Representations of various versions of finite automata in Scala.

scala-latex

Generate LaTeX/PDF output from within Scala

scala-outlines

Representation of structured text in Scala

scala-search

Search algorithm implementations in Scala

scalautils

Minor miscellaneous Scala utilities.

tlt

A Haskell test framework oriented towards stacked monad transformers

tlt-tasty

tulpsa

Announcement roster generation and formatting tool for WTUL 91.5FM.