term-rewriting-system

There are 3 repositories under term-rewriting-system topic.

aesara-devs/aesara
Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.
Language:Python1.2k 19 692154
hsiaofongw/expression-evaluator
Term Rewriting System
Language:TypeScript4 1 00
SamueleGiraudo/Aclove
A programming language based on combinatory logic and term rewrite systems, with an advanced type system.
Language:OCaml4 3 00