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