jimburton/steg
A simple steganography tool
The webprotege code base
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
A simple steganography tool
A Haskell spam filter based on Peter Seibel's in his book Practical Common Lisp
Counting subclass axioms in ontologies
Speedith is a theorem prover for spider diagrams (see http://en.wikipedia.org/wiki/Spider_diagram).