term-rewriting-system

There are 0 repository under term-rewriting-system topic.

aesara
aesara-devs / aesara
Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.
symbolic-computation tensors theano automatic-differentiation transpiler aesara term-rewriting-system optimizing-compiler optimizing-compilers
Language:Python 1166
hsiaofongw / expression-evaluator
Term Rewriting System
evaluator lexer nestjs parser term-rewriting-system
Language:TypeScript 4
SamueleGiraudo / Aclove
A programming language based on combinatory logic and term rewrite systems, with an advanced type system.
combinatory-logic computer-science functional-language interpreter programming-language research term-rewriting-system
Language:OCaml 3