jimburton/steg
A simple steganography tool
A Haskell spam filter based on Peter Seibel's in his book Practical 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.
A simple steganography tool
Counting subclass axioms in ontologies
Speedith is a theorem prover for spider diagrams (see http://en.wikipedia.org/wiki/Spider_diagram).
Lambda calculus implementation in Scala