slburson/PTTP
Prolog Technology Theorem Prover
FSet, the functional collections library for Common Lisp.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
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