jimburton/steg
A simple steganography tool
Lambda calculus implementation in Scala
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
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).