slburson/PTTP
Prolog Technology Theorem Prover
Discovered public repositories for slburson in the GitHub catalog.
Prolog Technology Theorem Prover
Java implementation of the FSet functional collections library.
The GMap iteration macro, plus a few other useful macros.
Tiny bootstrap-compatible WISWYG rich text editor
Public repository.
Selenium tests for weblocks
FSet, the functional collections library for Common Lisp.
antlr v3 repository (pulled from p4 with history from //depot/code/antlr/antlr3-main
Public repository.
Web server
Source code for the Map reduce with big data class