Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 21 Term Rewriting Open Source Projects

Open source projects categorized as Term Rewriting
Categories > Term Rewriting
Meander ⭐ 868
Tools for transparent data transformation
total releases 63most recent commit a year ago
Rascal ⭐ 382
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
most recent commit 4 months ago
Metatheory.jl ⭐ 321
General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
most recent commit 5 months ago
Pure Lang ⭐ 245
Pure programming language
most recent commit 2 years ago
Reduce.jl ⭐ 202
Symbolic parser generator for Julia language expressions using REDUCE algebra term rewriter
most recent commit 2 years ago
Matchpy ⭐ 117
A library for pattern matching on symbolic expressions in Python.
dependent packages 3total releases 17most recent commit 3 years agopypi matchpy} Downloads
Pymbolic ⭐ 101
A simple package to do symbolic math (focus on code gen and DSLs)
dependent packages 2total releases 2most recent commit 7 months ago
Gamba ⭐ 93
Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA
most recent commit 6 months ago
Simba ⭐ 87
Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
most recent commit a year ago
Mcrl2 ⭐ 83
The Git repository for the mCRL2 toolset.
most recent commit 5 months ago
Simplify.jl ⭐ 69
Algebraic simplification in Julia
most recent commit 5 years ago
Raddsl ⭐ 68
Tools for rapid prototyping of DSL compilers
most recent commit 3 years ago
Aeppl ⭐ 56
Tools for an Aesara-based PPL.
dependent packages 6total releases 47most recent commit a year agopypi aeppl} Downloads
Egglog Python ⭐ 38
Python bindings for the egg-smol rust library
most recent commit 5 months ago
Aemcmc ⭐ 37
AeMCMC is a Python library that automates the construction of samplers for Aesara graphs representing statistical models.
total releases 370most recent commit 9 months ago
Term Rewriting Rs ⭐ 11
a Rust implementation of first-order term rewriting systems (TRS)
dependent packages 1total releases 7most recent commit 3 years agocargo term_rewriting} Downloads
Trs ⭐ 10
Reason about Term Rewriting Systems
most recent commit 2 years ago
Data Logic ⭐ 9
Expert system with deductive querying and verification of constraints expressed in natural language
most recent commit 2 years ago
Nugget ⭐ 6
Neural-Network Guided Expression Transformation
most recent commit 6 years ago
Girafe ⭐ 5
Term Rewriting Systems infrastructure
dependent packages 2total releases 23most recent commit a year agonpm girafe} Downloads
Rev Rewriting ⭐ 5
A tool for the transformation of an irreversible Term Rewriting System into a reversible one
most recent commit 7 years ago
The 5 Most Depended On Term Rewriting Open Source Projects
Aeppl ⭐ 56
Tools for an Aesara-based PPL.
dependent packages 6total releases 47latest release June 28, 2023most recent commit a year agopypi aeppl} Downloads
Matchpy ⭐ 117
A library for pattern matching on symbolic expressions in Python.
dependent packages 3total releases 17latest release October 29, 2021most recent commit 3 years agopypi matchpy} Downloads
Girafe ⭐ 5
Term Rewriting Systems infrastructure
dependent packages 2total releases 23latest release April 29, 2021most recent commit a year agonpm girafe} Downloads
Pymbolic ⭐ 101
A simple package to do symbolic math (focus on code gen and DSLs)
dependent packages 2total releases 2latest release May 09, 2022most recent commit 7 months ago
Term Rewriting Rs ⭐ 11
a Rust implementation of first-order term rewriting systems (TRS)
dependent packages 1total releases 7latest release May 21, 2019most recent commit 3 years agocargo term_rewriting} Downloads
The 7 Latest Releases In Term Rewriting Open Source Projects
Aeppl ⭐ 56
Tools for an Aesara-based PPL.
dependent packages 6total releases 47latest release June 28, 2023most recent commit a year agopypi aeppl} Downloads
Pymbolic ⭐ 101
A simple package to do symbolic math (focus on code gen and DSLs)
dependent packages 2total releases 2latest release May 09, 2022most recent commit 7 months ago
Matchpy ⭐ 117
A library for pattern matching on symbolic expressions in Python.
dependent packages 3total releases 17latest release October 29, 2021most recent commit 3 years agopypi matchpy} Downloads
Girafe ⭐ 5
Term Rewriting Systems infrastructure
dependent packages 2total releases 23latest release April 29, 2021most recent commit a year agonpm girafe} Downloads
Meander ⭐ 868
Tools for transparent data transformation
total releases 63latest release December 17, 2020most recent commit a year ago
Term Rewriting Rs ⭐ 11
a Rust implementation of first-order term rewriting systems (TRS)
dependent packages 1total releases 7latest release May 21, 2019most recent commit 3 years agocargo term_rewriting} Downloads
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.