aesara-devs / aesara Star 1.2k Code Issues Pull requests Discussions Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays. theano automatic-differentiation transpiler tensors symbolic-computation optimizing-compiler optimizing-compilers aesara term-rewriting-system Updated Feb 5, 2024 Python
hsiaofongw / expression-evaluator Star 4 Code Issues Pull requests Term Rewriting System parser evaluator lexer nestjs term-rewriting-system Updated Aug 27, 2022 TypeScript
SamueleGiraudo / Aclove Star 3 Code Issues Pull requests A programming language based on combinatory logic and term rewrite systems, with an advanced type system. programming-language computer-science research interpreter combinatory-logic functional-language term-rewriting-system Updated Jan 7, 2024 OCaml