Implementation of (most of) the OpenMath Standard in JavaScript
published version 1.2.3, 5 years agoJavaScript implementation of the Earley parsing algorithm
published version 1.3.1, 2 years agoA limited JavaScript implementation of a matching algorithm for expressions of first-order logic
published version 1.2.0, 7 years agoAn implementation of the Huet-Lang pattern-matching algorithm in JavaScript
published version 1.1.0, 4 years ago