A Markov Logic Interpreter that focuses on efficient MAP inference and Online Learning featuring MAP inference using Cutting Planes combined with Max-Walk-Sat programming, parametrized weights, a shell interpreter, and cardinality constraints. [GPL]
A javascript-based standards-friendly way of making Flash content accessible to browsers without Flash installed, including screen readers and primitive mobile browsers. Includes code download and documentation.