Tools to support the learning of the C programming language
Graph algorithms interpreter, IDE, debugger, 3D visualizations.
Goal-directed answer-set programming
Efficient Approximate Nearest Neighbors for General Metric Spaces
!!! NO LONGER MAINTAINED !!!
proof verifier for mathematical proofs and documentation generator
clustering, machine learning, algorithms
Static analyzer for Java bytecode
mojo provides fast analyzes for your business processes