Skip to content
View jphmrst's full-sized avatar

Block or report jphmrst

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. bibviz bibviz Public

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

    Perl 6

  2. cl-nst cl-nst Public

    Unit testing for Common Lisp

    Common Lisp 9 1

  3. PLC PLC Public

    Forked from plfa/plfa.github.io

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

    Agda 1

  4. defblog defblog Public

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

    Emacs Lisp 15 1

  5. bps bps Public

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

    Haskell 16 1

  6. tlt tlt Public

    A Haskell test framework oriented towards stacked monad transformers

    Haskell