Pinned Repositories
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.
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.
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
jphmrst's Repositories
jphmrst/bps
Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.
jphmrst/defblog
A web site/blog builder, implemented as a wrapper around org-project.
jphmrst/cl-nst
Unit testing for Common Lisp
jphmrst/bibviz
Build a browsable HTML view of BibTeX files and related documents.
jphmrst/cl-org-sampler
Extracting Common Lisp docstrings as Org-mode documents
jphmrst/anaphora-anywhere
Anaphoric references in Emacs Lisp, separate from any particular macro definitions.
jphmrst/bibcat
From a bibliography to a LaTeXed catalog list
jphmrst/PLC
An undergraduate-level introduction to programming language concepts: primarily using Agda, combining material from Wadler et al.'s PLFA and Pierce's SF.
jphmrst/scala-latex
Generate LaTeX/PDF output from within Scala
jphmrst/tlt
A Haskell test framework oriented towards stacked monad transformers
jphmrst/Advisobot
For your student advising, maybe making their lives a bit easier
jphmrst/borda-decoder
Quick-and-dirty decoder for Borda count evaluation of ranked selection in Google Forms result CSVs
jphmrst/elisp-autonarrow
Simple elisp function which applies buffer narrowing based on string patterns in a file. Handy to add to a mode hook.
jphmrst/Fieldhouse
Perl base class providing dynamic declaration and management of various accessor/mutator methods for internal fields.
jphmrst/Planrec
Plan recognition algorithm implementations
jphmrst/qdhxb
jphmrst/scala-automata
Representations of various versions of finite automata in Scala.
jphmrst/scala-outlines
Representation of structured text in Scala
jphmrst/scala-search
Search algorithm implementations in Scala
jphmrst/ScalaUtils
Minor miscellaneous Scala utilities.
jphmrst/tlt-tasty
jphmrst/TULpsa
Announcement roster generation and formatting tool for WTUL 91.5FM.