jimburton/spamfilter
A Haskell spam filter based on Peter Seibel's in his book Practical Common Lisp
A simple steganography tool
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 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).
Lambda calculus implementation in Scala