JOSS: https://github.com/JuliaSymbolics/Metatheory.jl
compiler-construction compiler-optimization egraphs equality-saturation julia optimization programming-language symbolic symbolic-computation symbolic-manipulation term-rewriting
Score: 16.204129483640497
Last synced: about 13 hours ago
JSON representation
Repository metadata:
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
- Host: GitHub
- URL: https://github.com/JuliaSymbolics/Metatheory.jl
- Owner: JuliaSymbolics
- License: mit
- Created: 2021-01-12T09:21:05.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2026-09-17T12:52:24.000Z (13 days ago)
- Last Synced: 2026-09-23T00:54:40.812Z (7 days ago)
- Topics: compiler-construction, compiler-optimization, egraphs, equality-saturation, julia, optimization, programming-language, symbolic, symbolic-computation, symbolic-manipulation, term-rewriting
- Language: Julia
- Homepage: https://juliasymbolics.github.io/Metatheory.jl/dev/
- Size: 3.48 MB
- Stars: 403
- Watchers: 10
- Forks: 49
- Open Issues: 61
-
Metadata Files:
- Readme: README.md
- Changelog: NEWS.md
- Contributing: CONTRIBUTING.md
- Funding: .github/FUNDING.yml
- License: LICENSE
- Citation: CITATION.bib
-
Funding:
- Custom: https://github.com/sponsors/0x0f0f0f/
Owner metadata:
- Name: JuliaSymbolics
- Login: JuliaSymbolics
- Email:
- Kind: organization
- Description: A fast and modern CAS for a fast and modern language
- Website: JuliaSymbolics.org
- Location:
- Twitter:
- Company:
- Icon url: https://avatars.githubusercontent.com/u/46542407?v=4
- Repositories: 8
- Last Synced at: 2026-09-28T19:59:16.367Z
- Profile URL: https://github.com/JuliaSymbolics
GitHub Events
Total
- Create event: 12
- Delete event: 5
- Fork event: 2
- Issue comment event: 80
- Issues event: 16
- Pull request event: 21
- Pull request review comment event: 41
- Pull request review event: 48
- Push event: 47
- Watch event: 24
- Total: 296
Last Year
- Create event: 2
- Delete event: 3
- Issue comment event: 1
- Issues event: 1
- Pull request event: 5
- Push event: 8
- Watch event: 6
- Total: 26
Committers metadata
Last synced: 1 day ago
Total Commits: 607
Total Committers: 32
Avg Commits per committer: 18.969
Development Distribution Score (DDS): 0.502
Commits in past year: 7
Committers in past year: 3
Avg Commits per committer in past year: 2.333
Development Distribution Score (DDS) in past year: 0.571
| Name | Commits | |
|---|---|---|
| 0x0f0f0f | s****3@p****m | 302 |
| Alessandro | n****e | 172 |
| a | a****@a****a | 53 |
| dependabot[bot] | 4****] | 13 |
| Wilkenfeld | r****4@g****m | 9 |
| ale | a****n@a****m | 7 |
| Jiayi Wei | M****e@g****m | 6 |
| Christopher Rackauckas | a****s@c****m | 5 |
| Will Kimmerer | k****r@m****u | 5 |
| Dani Pinyol | d****i@a****m | 4 |
| Chen Zhao | z****7@m****n | 4 |
| Chris Rackauckas - Beep Boop Edition | a****n@c****m | 3 |
| Shashi Gowda | g****a@m****u | 3 |
| jump | j****p@j****p | 2 |
| Philip Zucker | p****8@g****m | 2 |
| t-bltg | t****g@g****m | 1 |
| herrgahr | 3****r | 1 |
| chriselrod | e****c@g****m | 1 |
| Yingbo Ma | m****5@g****m | 1 |
| CompatHelper Julia | c****y@j****g | 1 |
| fairbanks | f****j@C****e | 1 |
| Willow Ahrens | w****s@g****m | 1 |
| Pietro Monticone | 3****e | 1 |
| NumHack | 7****k | 1 |
| Mosè Giordano | m****e@g****g | 1 |
| Mingze Feng | f****e@h****m | 1 |
| McCoy Becker | m****r@g****m | 1 |
| Kyle Deeds | k****9@g****m | 1 |
| Jesse Perla | j****a@g****m | 1 |
| Hendrik Ranocha | r****a | 1 |
| and 2 more... | ||
Issue and Pull Request metadata
Last synced: 1 day ago
Total issues: 140
Total pull requests: 214
Average time to close issues: 7 months
Average time to close pull requests: 28 days
Total issue authors: 46
Total pull request authors: 37
Average comments per issue: 3.34
Average comments per pull request: 1.77
Merged pull request: 125
Bot issues: 1
Bot pull requests: 51
Past year issues: 7
Past year pull requests: 11
Past year average time to close issues: about 1 month
Past year average time to close pull requests: 4 months
Past year issue authors: 4
Past year pull request authors: 4
Past year average comments per issue: 2.29
Past year average comments per pull request: 0.36
Past year merged pull request: 6
Past year bot issues: 1
Past year bot pull requests: 6
Top Issue Authors
- 0x0f0f0f (54)
- overshiki (7)
- shashi (6)
- ViciousDoormat (6)
- gkronber (6)
- karlwessel (4)
- vitrun (4)
- willow-ahrens (4)
- Audrius-St (3)
- jpfairbanks (2)
- philzook58 (2)
- MrVPlusOne (2)
- jakevossen5 (2)
- THinnerichs (2)
- HectorPeeters (2)
Top Pull Request Authors
- 0x0f0f0f (50)
- gkronber (32)
- github-actions[bot] (28)
- dependabot[bot] (23)
- nmheim (17)
- olynch (12)
- Wilkenfeld (6)
- spaette (4)
- jumerckx (4)
- ChrisRackauckas-Claude (3)
- MrVPlusOne (3)
- jpfairbanks (2)
- gkronber-machine (2)
- shashi (2)
- philzook58 (2)
Top Issue Labels
- enhancement (9)
- help wanted (7)
- bug (7)
- documentation (4)
- tagbot-manual (1)
- Use Case (1)
- RELEASE (1)
Top Pull Request Labels
- dependencies (23)
- no changelog (4)
- formatting (4)
- automated pr (4)
- github_actions (4)
- julia (2)
- enhancement (1)
- help wanted (1)
Package metadata
- Total packages: 1
-
Total downloads:
- julia: 731 last-month
- Total dependent packages: 3
- Total dependent repositories: 0
- Total versions: 24
juliahub.com: Metatheory
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
- Homepage: https://juliasymbolics.github.io/Metatheory.jl/dev/
- Documentation: https://docs.juliahub.com/General/Metatheory/stable/
- Licenses: MIT
- Latest release: 2.0.2 (published almost 3 years ago)
- Last Synced: 2026-03-09T02:34:36.218Z (7 months ago)
- Versions: 24
- Dependent Packages: 3
- Dependent Repositories: 0
- Downloads: 731 Last month
-
Rankings:
- Stargazers count: 2.268%
- Forks count: 4.405%
- Average: 7.444%
- Dependent repos count: 9.94%
- Dependent packages count: 13.162%
Dependencies
- JuliaRegistries/TagBot v1 composite
- actions/cache v1 composite
- actions/checkout v2 composite
- codecov/codecov-action v1 composite
- julia-actions/julia-buildpkg v1 composite
- julia-actions/julia-processcoverage v1 composite
- julia-actions/julia-runtest v1 composite
- julia-actions/setup-julia v1 composite
- actions/checkout v2 composite
- julia-actions/julia-buildpkg latest composite
- julia-actions/julia-docdeploy latest composite
- Documenter *
- Literate *
- Metatheory *
- TermInterface *
- BenchmarkTools *
- Metatheory *
- Plots *
- Suppressor *
- SymbolicUtils *
- AutoHashEquals *
- DataStructures *
- DocStringExtensions *
- Reexport *
- TermInterface *
- TimerOutputs *
- actions/checkout v4 composite
- julia-actions/julia-buildpkg latest composite
- julia-actions/setup-julia v1 composite
- actions/checkout v4 composite
- dtolnay/rust-toolchain stable composite
- julia-actions/setup-julia v2 composite
- peter-evans/create-or-update-comment v4 composite
- peter-evans/find-comment v3 composite