Rewrite.jl

An efficient symbolic term rewriting engine

MIT License

Stars
77
View Code on GitHub View on X
Ecosystems: The Julia Language

Issue Statistics

Past Year

All Time

Total Pull Requests
0
25
Merged Pull Requests
0
24
Total Issues
0
4
Time to Close Issues
N/A
about 15 hours
Badges
Extracted from project README
Travis Build Status AppVeyor Build Status Coverage Status
Related Projects
StenoGraphs.jl

Write meta graphs quickly

21 Jan 2022 5
Chain.jl

A Julia package for piping a value through a series of transformation expressions using a more co...

19 Nov 2020 362
CallableExpressions.jl

A Julia package for representing, manipulating and evaluating trees of expressions.

22 May 2024 1
ComponentArrays.jl

Arrays with arbitrarily nested named components.

10 Apr 2020 289
Supposition.jl

A Julia implementation of choice sequence based PBT, inspired by Hypothesis

20 Feb 2024 44
SymbolicUtils.jl

Symbolic expressions, rewriting and simplification

09 Feb 2020 502
Catlab.jl

A framework for applied category theory in the Julia language

04 Apr 2017 608
Tullio.jl

⅀

23 Jun 2019 607
Julog.jl

A Julia package for Prolog-style logic programming.

26 Dec 2019 170
ExpressionPatterns.jl

Match, Destructure and Dispatch on expressions.

27 Jul 2015 8
AbstractOperators.jl

Abstract operators for large scale optimization in Julia

26 May 2017 30
ExactODEReduction.jl

Exact reduction of ODE models via linear transformations

04 Oct 2020 13
ChainRules.jl

forward and reverse mode automatic differentiation primitives for Julia Base + StdLibs

16 Nov 2018 434
Simplify.jl

Algebraic simplification in Julia

28 Apr 2018 82
SyntaxTree.jl

Toolset for modifying Julia AST and characteristic values

09 Jun 2018 15