Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for symbolic computation term rewriting
symbolic-computation
x
term-rewriting
x
6 search results found
Metatheory.jl
⭐
321
General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
Reduce.jl
⭐
202
Symbolic parser generator for Julia language expressions using REDUCE algebra term rewriter
Pymbolic
⭐
101
A simple package to do symbolic math (focus on code gen and DSLs)
Aeppl
⭐
56
Tools for an Aesara-based PPL.
Aemcmc
⭐
37
AeMCMC is a Python library that automates the construction of samplers for Aesara graphs representing statistical models.
Girafe
⭐
5
Term Rewriting Systems infrastructure
Related Searches
Python Symbolic Computation (30)
Mathematics Symbolic Computation (15)
Julia Symbolic Computation (13)
Optimization Symbolic Computation (7)
Python Term Rewriting (6)
Symbolic Term Rewriting (5)
Typescript Symbolic Computation (5)
Algebra Term Rewriting (5)
Metaprogramming Term Rewriting (5)
Programming Language Symbolic Computation (4)
1-6 of 6 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.