Search Results - RepositoryStats

meander noprompt

54

913

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

77

396

other

26

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,027 commits to main branch, last one 20 hours ago

Metatheory.jl JuliaSymbolics

44

346

mit

11

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

672 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 about a year ago

Reduce.jl chakravala

16

234

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

209 commits to master branch, last one 2 months ago

matchpy HPAC

25

162

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 2 years ago

SiMBA DenuvoSoftwareSolutions

21

136

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

11

109

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 7 months ago

pymbolic inducer

24

106

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

972 commits to main branch, last one 3 days ago

mCRL2 mCRL2org

36

86

bsl-1.0

11

The Git repository for the mCRL2 toolset.

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

Created 2018-04-07

19,355 commits to master branch, last one 4 days ago

raddsl true-grue

6

82

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

aeppl aesara-devs

21

63

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

egglog-python egraphs-good

6

54

mit

4

Python bindings for the egg-smol rust library

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

Created 2022-11-02

949 commits to main branch, last one 6 days 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 9 months ago