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.19111411552843
Last synced: 29 minutes 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-05-30T08:42:17.000Z (24 days ago)
- Last Synced: 2026-06-14T19:03:29.132Z (8 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.47 MB
- Stars: 400
- Watchers: 11
- Forks: 49
- Open Issues: 58
-
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: 2023-03-03T23:24:17.648Z
- Profile URL: https://github.com/JuliaSymbolics
GitHub Events
Total
- Create event: 12
- Delete event: 3
- 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: 46
- Watch event: 24
- Total: 293
Last Year
- Create event: 2
- Delete event: 1
- Fork event: 2
- Issue comment event: 1
- Issues event: 1
- Pull request event: 6
- Push event: 8
- Watch event: 12
- Total: 33
Committers metadata
Last synced: 2 days ago
Total Commits: 602
Total Committers: 32
Avg Commits per committer: 18.813
Development Distribution Score (DDS): 0.498
Commits in past year: 2
Committers in past year: 1
Avg Commits per committer in past year: 2.0
Development Distribution Score (DDS) in past year: 0.0
| Name | Commits | |
|---|---|---|
| 0x0f0f0f | s****3@p****m | 302 |
| Alessandro | n****e | 172 |
| a | a****@a****a | 53 |
| dependabot[bot] | 4****] | 10 |
| Wilkenfeld | r****4@g****m | 9 |
| ale | a****n@a****m | 7 |
| Jiayi Wei | M****e@g****m | 6 |
| Will Kimmerer | k****r@m****u | 5 |
| Dani Pinyol | d****i@a****m | 4 |
| Chen Zhao | z****7@m****n | 4 |
| Christopher Rackauckas | a****s@c****m | 4 |
| Shashi Gowda | g****a@m****u | 3 |
| jump | j****p@j****p | 2 |
| Chris Rackauckas - Beep Boop Edition | a****n@c****m | 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: 2 days ago
Total issues: 106
Total pull requests: 191
Average time to close issues: 10 months
Average time to close pull requests: 25 days
Total issue authors: 40
Total pull request authors: 28
Average comments per issue: 3.24
Average comments per pull request: 1.87
Merged pull request: 108
Bot issues: 0
Bot pull requests: 45
Past year issues: 5
Past year pull requests: 2
Past year average time to close issues: 20 minutes
Past year average time to close pull requests: N/A
Past year issue authors: 2
Past year pull request authors: 2
Past year average comments per issue: 2.8
Past year average comments per pull request: 0.0
Past year merged pull request: 0
Past year bot issues: 0
Past year bot pull requests: 1
Top Issue Authors
- 0x0f0f0f (31)
- overshiki (7)
- gkronber (6)
- ViciousDoormat (6)
- willow-ahrens (4)
- vitrun (4)
- karlwessel (4)
- shashi (4)
- Audrius-St (3)
- MrVPlusOne (2)
- THinnerichs (2)
- jariji (2)
- Byurdyzo (2)
- HectorPeeters (2)
- jakevossen5 (2)
Top Pull Request Authors
- 0x0f0f0f (48)
- gkronber (32)
- github-actions[bot] (27)
- dependabot[bot] (18)
- nmheim (17)
- olynch (12)
- Wilkenfeld (6)
- spaette (4)
- jumerckx (4)
- MrVPlusOne (3)
- gkronber-machine (2)
- shashi (2)
- dpinol (1)
- ranocha (1)
- Santi-A (1)
Top Issue Labels
- enhancement (6)
- help wanted (4)
- documentation (4)
- bug (3)
- RELEASE (1)
Top Pull Request Labels
- dependencies (18)
- no changelog (4)
- formatting (4)
- automated pr (4)
- help wanted (1)
- julia (1)
- enhancement (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 over 2 years ago)
- Last Synced: 2026-03-09T02:34:36.218Z (4 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
- julia-actions/setup-julia latest composite
- actions/checkout v2 composite
- julia-actions/julia-buildpkg latest composite
- julia-actions/setup-julia v1 composite
- 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