Search Results - RepositoryStats

meander noprompt

55

923

mit

32

Tools for transparent data transformation

unification substitution term-rewriting pattern-matching logic-programming program-transformation

Created 2017-10-27

1,441 commits to epsilon branch, last one about a year ago

rascal usethesource

78

406

other

27

The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)

repl checker compiler language interpreter query-language term-rewriting code-generation metaprogramming static-analysis parser-generator pattern-matching source-to-source standard-library refactoring-tools template-language relational-algebra reverse-engineering domain-specific-language

Created 2012-07-23

20,189 commits to main branch, last one a day ago

Metatheory.jl JuliaSymbolics

47

362

mit

12

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, ...

julia egraphs symbolic optimization term-rewriting equality-saturation programming-language symbolic-computation compiler-construction compiler-optimization symbolic-manipulation

Created 2021-01-12

676 commits to master branch, last one about a month ago

pure-lang agraef

20

314

unknown

14

Pure programming language

llvm jit-compiler term-rewriting scripting-language functional-programming

Created 2017-03-26

5,943 commits to master branch, last one 2 years ago

Reduce.jl chakravala

16

243

bsd-2-clause

12

Symbolic parser for Julia language term rewriting using REDUCE algebra

math repl julia reduce algebra syntax-tree term-rewriting metaprogramming computer-algebra parser-generator symbolic-computation

Created 2017-05-05

210 commits to master branch, last one 27 days ago

matchpy HPAC

25

164

mit

14

A library for pattern matching on symbolic expressions in Python.

python term-rewriting pattern-matching symbolic-expressions

Created 2016-08-25

441 commits to master branch, last one 3 years ago

SiMBA DenuvoSoftwareSolutions

21

144

gpl-3.0

10

Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions

mba python3 deobfuscation simplification term-rewriting

Created 2022-08-31

22 commits to main branch, last one about a year ago

GAMBA DenuvoSoftwareSolutions

10

118

gpl-3.0

8

Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA

mba python3 deobfuscation simplification term-rewriting

Created 2023-03-11

21 commits to main branch, last one 11 months ago

pymbolic inducer

25

108

other

7

A simple package to do symbolic math (focus on code gen and DSLs)

python term-rewriting code-generation expression-tree computer-algebra symbolic-computation

Created 2011-07-08

1,006 commits to main branch, last one 24 days ago

mCRL2 mCRL2org

37

88

bsl-1.0

11

The Git repository for the mCRL2 toolset.

mu-calculus model-checker model-checking term-rewriting

Created 2018-04-07

19,539 commits to master branch, last one 19 hours ago

raddsl true-grue

6

83

mit

9

Tools for rapid prototyping of DSL compilers

ast dsl peg pratt python python3 compiler pratt-parser dsl-compilers meta-compiler term-rewriting code-generation metaprogramming source-to-source parser-combinators compiler-construction

Created 2018-08-01

44 commits to master branch, last one 3 years ago

egglog-python egraphs-good

9

64

mit

3

Python bindings for the egg-smol rust library

dsl rust python e-graph term-rewriting equality-saturation

Created 2022-11-02

1,026 commits to main branch, last one 8 days ago

aeppl aesara-devs

21

64

mit

2

Tools for an Aesara-based PPL.

ppl statistics probability term-rewriting bayesian-statistics symbolic-computation modeling-and-simulation

Created 2021-05-26

253 commits to main branch, last one about a year ago

aemcmc aesara-devs

11

39

mit

5

AeMCMC is a Python library that automates the construction of samplers for Aesara graphs representing statistical models.

hmc ppl mcmc samplers gibbs-sampling term-rewriting symbolic-computation

Created 2021-12-14

107 commits to main branch, last one about a year ago