jimburton/steg
A simple steganography tool
Developer Profile
jimburton
Discovered public repositories for jimburton in the GitHub catalog.
jimburton/spamfilter
A Haskell spam filter based on Peter Seibel's in his book Practical Common Lisp
jimburton/diagram-structure
Counting subclass axioms in ontologies
jimburton/speedith
Speedith is a theorem prover for spider diagrams (see http://en.wikipedia.org/wiki/Spider_diagram).
jimburton/lambdacalculus
Lambda calculus implementation in Scala
jimburton/webprotege
The webprotege code base
jimburton/LazyList
Lazy load of images in Android
jimburton/BigArrow
Public repository.
jimburton/remote-pong
A networked version of Pong in Scala that uses the Actors framework.
jimburton/iCircles
iCircles (short for Inductive Cirles) is a library for drawing spider diagrams (see http://www.eulerdiagrams.com/inductivecircles.html for more info).
jimburton/inductive_circles-pplugin
Public repository.
jimburton/protege-plugin
Public repository.