- Lightweight infinite-lookahead parser generator that supports basic grammars defined in a JSON format.
- Library for building annotated abstract syntax trees and rendering them as interactive HTML reports.
- Cross-platform embedded representation for algebraic data types, values, and common operations.
- Library for symbolically representing and working with polynomials.
- Embedded language for rapid assembly, querying, and interactive visual rendering of diagrams and common, abstract mathematical structures.