{"id":357952,"url":"https://github.com/JuliaSymbolics/Metatheory.jl","last_synced_at":"2026-06-22T23:00:35.103Z","repository":{"id":41141229,"uuid":"328933254","full_name":"JuliaSymbolics/Metatheory.jl","owner":"JuliaSymbolics","description":"Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs \u0026 equality saturation, term rewriting and more.","archived":false,"fork":false,"pushed_at":"2026-05-30T08:42:17.000Z","size":3638,"stargazers_count":400,"open_issues_count":58,"forks_count":49,"subscribers_count":11,"default_branch":"master","last_synced_at":"2026-06-14T19:03:29.132Z","etag":null,"topics":["compiler-construction","compiler-optimization","egraphs","equality-saturation","julia","optimization","programming-language","symbolic","symbolic-computation","symbolic-manipulation","term-rewriting"],"latest_commit_sha":null,"homepage":"https://juliasymbolics.github.io/Metatheory.jl/dev/","language":"Julia","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/JuliaSymbolics.png","metadata":{"files":{"readme":"README.md","changelog":"NEWS.md","contributing":"CONTRIBUTING.md","funding":".github/FUNDING.yml","license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.bib","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null},"funding":{"custom":["https://github.com/sponsors/0x0f0f0f/"]}},"created_at":"2021-01-12T09:21:05.000Z","updated_at":"2026-05-27T20:00:28.000Z","dependencies_parsed_at":"2023-10-01T20:23:09.290Z","dependency_job_id":"eaf6a268-8a4c-423f-bd6a-079f028a7a70","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl","commit_stats":{"total_commits":597,"total_committers":31,"mean_commits":"19.258064516129032","dds":0.4941373534338358,"last_synced_commit":"ca867735988b909fa401de2556fd1ad747f805cf"},"previous_names":[],"tags_count":24,"template":false,"template_full_name":null,"purl":"pkg:github/JuliaSymbolics/Metatheory.jl","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/JuliaSymbolics","download_url":"https://codeload.github.com/JuliaSymbolics/Metatheory.jl/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":34421326,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-05-26T15:22:16.424Z","status":"online","status_checked_at":"2026-06-16T02:00:06.860Z","response_time":126,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"owner":{"login":"JuliaSymbolics","name":"JuliaSymbolics","uuid":"46542407","kind":"organization","description":"A fast and modern CAS for a fast and modern language","email":null,"website":"JuliaSymbolics.org","location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/46542407?v=4","repositories_count":8,"last_synced_at":"2023-03-03T23:24:17.648Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/JuliaSymbolics","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-14T06:32:25.782Z","updated_at":"2023-03-03T23:24:17.668Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/JuliaSymbolics","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/JuliaSymbolics/repositories"},"packages":[{"id":4316916,"name":"Metatheory","ecosystem":"julia","description":"Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs \u0026 equality saturation, term rewriting and more.","homepage":"https://juliasymbolics.github.io/Metatheory.jl/dev/","licenses":"MIT","normalized_licenses":["MIT"],"repository_url":"https://github.com/JuliaSymbolics/Metatheory.jl","keywords_array":["julia","symbolic","symbolic-computation","programming-language","optimization","compiler-optimization","compiler-construction","term-rewriting","equality-saturation","egraphs","symbolic-manipulation"],"namespace":null,"versions_count":24,"first_release_published_at":"2021-02-20T10:09:26.000Z","latest_release_published_at":"2023-11-10T14:39:38.000Z","latest_release_number":"2.0.2","last_synced_at":"2026-03-09T02:34:36.218Z","created_at":"2022-04-19T16:37:56.201Z","updated_at":"2026-03-09T02:34:36.218Z","registry_url":"https://juliahub.com/ui/Packages/General/Metatheory/","install_command":"Pkg.add(\"Metatheory\")","documentation_url":"https://docs.juliahub.com/General/Metatheory/stable/","metadata":{"uuid":"e9d8d322-4543-424a-9be4-0cc815abe26c"},"repo_metadata":{"uuid":"328933254","full_name":"JuliaSymbolics/Metatheory.jl","owner":"JuliaSymbolics","description":"General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs \u0026 equality saturation, term rewriting and more.","archived":false,"fork":false,"pushed_at":"2023-12-30T13:11:47.000Z","size":2954,"stargazers_count":316,"open_issues_count":43,"forks_count":37,"subscribers_count":13,"default_branch":"master","last_synced_at":"2023-12-30T13:35:55.917Z","etag":null,"topics":["compiler-construction","compiler-optimization","egraphs","equality-saturation","julia","optimization","programming-language","symbolic","symbolic-computation","symbolic-manipulation","term-rewriting"],"latest_commit_sha":null,"homepage":"https://juliasymbolics.github.io/Metatheory.jl/dev/","language":"Julia","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/JuliaSymbolics.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":".github/FUNDING.yml","license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.bib","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null},"funding":{"custom":["https://github.com/sponsors/0x0f0f0f/"]}},"created_at":"2021-01-12T09:21:05.000Z","updated_at":"2023-12-24T15:03:17.000Z","dependencies_parsed_at":"2023-10-01T20:23:09.290Z","dependency_job_id":"eaf6a268-8a4c-423f-bd6a-079f028a7a70","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl","commit_stats":{"total_commits":529,"total_committers":28,"mean_commits":"18.892857142857142","dds":0.4385633270321361,"last_synced_commit":"6961623090fbef533fec0c7a955f514878144329"},"previous_names":[],"tags_count":24,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/JuliaSymbolics","download_url":"https://codeload.github.com/JuliaSymbolics/Metatheory.jl/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":178494523,"owners_count":10687249,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"},"owner_record":{"login":"JuliaSymbolics","name":"JuliaSymbolics","uuid":"46542407","kind":"organization","description":"A fast and modern CAS for a fast and modern language","email":null,"website":"JuliaSymbolics.org","location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/46542407?v=4","repositories_count":8,"last_synced_at":"2023-03-03T23:24:17.648Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/JuliaSymbolics","created_at":"2022-11-14T06:32:25.782Z","updated_at":"2023-03-03T23:24:17.668Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/JuliaSymbolics","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/JuliaSymbolics/repositories"},"tags":[{"name":"v2.0.2","sha":"54cce6bcb7db4bd4ac8ab744b240ef574cca6653","kind":"tag","published_at":"2023-11-10T14:39:38.000Z","download_url":"https://codeload.github.com/JuliaSymbolics/Metatheory.jl/tar.gz/v2.0.2","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl/releases/tag/v2.0.2","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v2.0.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v2.0.2/manifests"},{"name":"v2.0.1","sha":"38719ae889c7857625cee879e9a0ea682873c853","kind":"tag","published_at":"2023-05-13T22:02:29.000Z","download_url":"https://codeload.github.com/JuliaSymbolics/Metatheory.jl/tar.gz/v2.0.1","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl/releases/tag/v2.0.1","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v2.0.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v2.0.1/manifests"},{"name":"v2.0.0","sha":"27884049610fd8f7108f77de54276d21d96aab1c","kind":"tag","published_at":"2023-01-30T17:47:03.000Z","download_url":"https://codeload.github.com/JuliaSymbolics/Metatheory.jl/tar.gz/v2.0.0","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl/releases/tag/v2.0.0","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v2.0.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v2.0.0/manifests"},{"name":"v1.3.5","sha":"c2ce9bd3ec37a47fb5f1b1ea648f84750cca4c3e","kind":"tag","published_at":"2022-09-20T16:26:22.000Z","download_url":"https://codeload.github.com/JuliaSymbolics/Metatheory.jl/tar.gz/v1.3.5","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl/releases/tag/v1.3.5","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v1.3.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v1.3.5/manifests"},{"name":"v1.4.0","sha":"f1f15698b9af3423382dbea00065734b8fd41e3c","kind":"tag","published_at":"2022-08-03T12:26:13.000Z","download_url":"https://codeload.github.com/JuliaSymbolics/Metatheory.jl/tar.gz/v1.4.0","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl/releases/tag/v1.4.0","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v1.4.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v1.4.0/manifests"},{"name":"v1.3.4","sha":"305a9d275b73e9cc4feda518a97b3b0fa8b23474","kind":"tag","published_at":"2022-06-14T00:00:08.000Z","download_url":"https://codeload.github.com/JuliaSymbolics/Metatheory.jl/tar.gz/v1.3.4","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl/releases/tag/v1.3.4","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v1.3.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v1.3.4/manifests"},{"name":"v1.3.3","sha":"1623a11bb7c0aaaf9d55e0215d1b4058098d7ae4","kind":"tag","published_at":"2021-12-25T13:55:24.000Z","download_url":"https://codeload.github.com/JuliaSymbolics/Metatheory.jl/tar.gz/v1.3.3","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl/releases/tag/v1.3.3","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v1.3.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v1.3.3/manifests"},{"name":"v1.3.2","sha":"5c3370dcefc96f9545bdbf2cdd9af44b9c3e2138","kind":"tag","published_at":"2021-11-07T17:44:15.000Z","download_url":"https://codeload.github.com/JuliaSymbolics/Metatheory.jl/tar.gz/v1.3.2","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl/releases/tag/v1.3.2","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v1.3.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v1.3.2/manifests"},{"name":"v1.3.1","sha":"7171cd09cc49a7b959ab34c8d1fd98aae0238e78","kind":"tag","published_at":"2021-11-06T18:12:57.000Z","download_url":"https://codeload.github.com/JuliaSymbolics/Metatheory.jl/tar.gz/v1.3.1","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl/releases/tag/v1.3.1","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v1.3.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v1.3.1/manifests"},{"name":"v1.3.0","sha":"3bb0227a414941addb06bc2981631bd6085ed785","kind":"tag","published_at":"2021-11-06T13:29:42.000Z","download_url":"https://codeload.github.com/JuliaSymbolics/Metatheory.jl/tar.gz/v1.3.0","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl/releases/tag/v1.3.0","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v1.3.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v1.3.0/manifests"},{"name":"v1.2.1","sha":"e1e689675a39046e5e907163730cad6652f3d0d4","kind":"tag","published_at":"2021-10-30T09:36:33.000Z","download_url":"https://codeload.github.com/JuliaSymbolics/Metatheory.jl/tar.gz/v1.2.1","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl/releases/tag/v1.2.1","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v1.2.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v1.2.1/manifests"},{"name":"v1.2.0","sha":"955e921d6d3bc05929e177c46dd0250bca8d3f80","kind":"tag","published_at":"2021-10-27T18:10:08.000Z","download_url":"https://codeload.github.com/JuliaSymbolics/Metatheory.jl/tar.gz/v1.2.0","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl/releases/tag/v1.2.0","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v1.2.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v1.2.0/manifests"},{"name":"v1.1.0","sha":"918e1cd220fd0a6eb6987845fd19577bf43dd7ce","kind":"tag","published_at":"2021-10-27T11:36:42.000Z","download_url":"https://codeload.github.com/JuliaSymbolics/Metatheory.jl/tar.gz/v1.1.0","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl/releases/tag/v1.1.0","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v1.1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v1.1.0/manifests"},{"name":"v1.0.0","sha":"1aadefdb42da7e570f98981ee9f1de79c60911c3","kind":"tag","published_at":"2021-10-14T11:15:44.000Z","download_url":"https://codeload.github.com/JuliaSymbolics/Metatheory.jl/tar.gz/v1.0.0","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl/releases/tag/v1.0.0","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v1.0.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v1.0.0/manifests"},{"name":"v0.6.0","sha":"f69d60097157ef0235ffc641af77d50676b5e8a1","kind":"tag","published_at":"2021-09-10T16:46:39.000Z","download_url":"https://codeload.github.com/JuliaSymbolics/Metatheory.jl/tar.gz/v0.6.0","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl/releases/tag/v0.6.0","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v0.6.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v0.6.0/manifests"},{"name":"v0.5.0","sha":"ac8e8e78bb4b8ca05382624191a5c406230a4163","kind":"tag","published_at":"2021-09-05T18:12:23.000Z","download_url":"https://codeload.github.com/JuliaSymbolics/Metatheory.jl/tar.gz/v0.5.0","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl/releases/tag/v0.5.0","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v0.5.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v0.5.0/manifests"},{"name":"v0.4.1","sha":"2562d4bc27fed455431b7a8a164b881fffe26990","kind":"tag","published_at":"2021-06-24T17:56:33.000Z","download_url":"https://codeload.github.com/JuliaSymbolics/Metatheory.jl/tar.gz/v0.4.1","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl/releases/tag/v0.4.1","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v0.4.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v0.4.1/manifests"},{"name":"v0.4.0","sha":"1eac7a4d56557174cc3f55a99081099efb14116b","kind":"tag","published_at":"2021-06-09T08:36:04.000Z","download_url":"https://codeload.github.com/JuliaSymbolics/Metatheory.jl/tar.gz/v0.4.0","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl/releases/tag/v0.4.0","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v0.4.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v0.4.0/manifests"},{"name":"v0.3.2","sha":"3932f532f73b13ecb3e278d14c2c6652ed10f96a","kind":"tag","published_at":"2021-03-29T19:32:10.000Z","download_url":"https://codeload.github.com/JuliaSymbolics/Metatheory.jl/tar.gz/v0.3.2","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl/releases/tag/v0.3.2","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v0.3.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v0.3.2/manifests"},{"name":"v0.3.1","sha":"bf3d785acd0afd69b433f1e5dbbb44b9e0959079","kind":"tag","published_at":"2021-03-21T18:02:48.000Z","download_url":"https://codeload.github.com/JuliaSymbolics/Metatheory.jl/tar.gz/v0.3.1","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl/releases/tag/v0.3.1","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v0.3.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v0.3.1/manifests"},{"name":"v0.3.0","sha":"9216e6d211b2da9284a56843f0715f1ead4b6df1","kind":"tag","published_at":"2021-03-21T15:56:09.000Z","download_url":"https://codeload.github.com/JuliaSymbolics/Metatheory.jl/tar.gz/v0.3.0","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl/releases/tag/v0.3.0","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v0.3.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v0.3.0/manifests"},{"name":"v0.2.1","sha":"aad86123ce43dd84fa216358332f8dd293fd7b64","kind":"tag","published_at":"2021-03-15T17:56:38.000Z","download_url":"https://codeload.github.com/JuliaSymbolics/Metatheory.jl/tar.gz/v0.2.1","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl/releases/tag/v0.2.1","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v0.2.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v0.2.1/manifests"},{"name":"v0.2.0","sha":"8708cb3914875a3eb90c7c11e50ee71e1d9ec5de","kind":"tag","published_at":"2021-03-12T10:31:15.000Z","download_url":"https://codeload.github.com/JuliaSymbolics/Metatheory.jl/tar.gz/v0.2.0","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl/releases/tag/v0.2.0","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v0.2.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v0.2.0/manifests"},{"name":"v0.1.1","sha":"c80ef50fc289a182c7eb4dd03beacf21caf6748b","kind":"tag","published_at":"2021-02-20T10:09:26.000Z","download_url":"https://codeload.github.com/JuliaSymbolics/Metatheory.jl/tar.gz/v0.1.1","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl/releases/tag/v0.1.1","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v0.1.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/tags/v0.1.1/manifests"}]},"repo_metadata_updated_at":"2023-12-30T13:37:00.185Z","dependent_packages_count":3,"downloads":731,"downloads_period":"last-month","dependent_repos_count":0,"rankings":{"downloads":null,"dependent_repos_count":9.939726027397262,"dependent_packages_count":13.161643835616438,"stargazers_count":2.2684931506849315,"forks_count":4.405479452054795,"average":7.443835616438356},"purl":"pkg:julia/Metatheory","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/julia/Metatheory","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/julia/Metatheory","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/julia/Metatheory/dependencies","status":null,"funding_links":["https://github.com/sponsors/0x0f0f0f/"],"critical":null,"issue_metadata":{"last_synced_at":"2023-12-10T15:27:18.994Z","issues_count":73,"pull_requests_count":51,"avg_time_to_close_issue":8518440.177777778,"avg_time_to_close_pull_request":2723870.425531915,"issues_closed_count":44,"pull_requests_closed_count":47,"pull_request_authors_count":19,"issue_authors_count":28,"avg_comments_per_issue":3.945205479452055,"avg_comments_per_pull_request":1.4117647058823528,"merged_pull_requests_count":39,"bot_issues_count":0,"bot_pull_requests_count":12,"past_year_issues_count":12,"past_year_pull_requests_count":17,"past_year_avg_time_to_close_issue":1191812.6,"past_year_avg_time_to_close_pull_request":201525.61538461538,"past_year_issues_closed_count":5,"past_year_pull_requests_closed_count":13,"past_year_pull_request_authors_count":7,"past_year_issue_authors_count":8,"past_year_avg_comments_per_issue":2.0,"past_year_avg_comments_per_pull_request":1.647058823529412,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":6,"past_year_merged_pull_requests_count":12,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/issues"},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/juliahub.com/packages/Metatheory/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/juliahub.com/packages/Metatheory/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/juliahub.com/packages/Metatheory/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/juliahub.com/packages/Metatheory/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/juliahub.com/packages/Metatheory/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/juliahub.com/packages/Metatheory/codemeta","maintainers":[],"registry":{"name":"juliahub.com","url":"https://juliahub.com","ecosystem":"julia","default":true,"packages_count":13730,"maintainers_count":0,"namespaces_count":0,"keywords_count":0,"github":"JuliaRegistries","metadata":{"funded_packages_count":851},"icon_url":"https://github.com/JuliaRegistries.png","created_at":"2022-04-19T16:34:08.340Z","updated_at":"2026-04-03T06:47:58.091Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/juliahub.com/packages","maintainers_url":"https://packages.ecosyste.ms/api/v1/registries/juliahub.com/maintainers","namespaces_url":"https://packages.ecosyste.ms/api/v1/registries/juliahub.com/namespaces"}}],"commits":{"id":707307,"full_name":"JuliaSymbolics/Metatheory.jl","default_branch":"master","total_commits":602,"total_committers":32,"total_bot_commits":10,"total_bot_committers":1,"mean_commits":18.8125,"dds":0.49833887043189373,"past_year_total_commits":2,"past_year_total_committers":1,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":2.0,"past_year_dds":0.0,"last_synced_at":"2026-06-20T22:03:17.909Z","last_synced_commit":"dec61ce1816945873412c93254ad89a002d42d2e","created_at":"2023-03-09T12:21:50.644Z","updated_at":"2026-06-20T22:01:24.294Z","committers":[{"name":"0x0f0f0f","email":"sudo-woodo3@protonmail.com","login":"0x0f0f0f","count":302},{"name":"Alessandro","email":"none","login":null,"count":172},{"name":"a","email":"a@a.a","login":null,"count":53},{"name":"dependabot[bot]","email":"49699333+dependabot[bot]","login":"dependabot[bot]","count":10},{"name":"Wilkenfeld","email":"robbypo4@gmail.com","login":"Wilkenfeld","count":9},{"name":"ale","email":"anon@anon.com","login":"anon1efergwerfwer","count":7},{"name":"Jiayi Wei","email":"MrVPlusOne@gmail.com","login":"MrVPlusOne","count":6},{"name":"Will Kimmerer","email":"kimmerer@mit.edu","login":"rayegun","count":5},{"name":"Dani Pinyol","email":"dani@avatarcognition.com","login":null,"count":4},{"name":"Chen Zhao","email":"zhaochen17@mails.ucas.ac.cn","login":"ChenZhao44","count":4},{"name":"Christopher Rackauckas","email":"accounts@chrisrackauckas.com","login":"ChrisRackauckas","count":4},{"name":"Shashi Gowda","email":"gowda@mit.edu","login":"shashi","count":3},{"name":"jump","email":"jump@jump.jump","login":null,"count":2},{"name":"Chris Rackauckas - Beep Boop Edition","email":"admin@chrisrackauckas.com","login":"ChrisRackauckas-Claude","count":2},{"name":"Philip Zucker","email":"philzook58@gmail.com","login":"philzook58","count":2},{"name":"t-bltg","email":"tf.bltg@gmail.com","login":"t-bltg","count":1},{"name":"herrgahr","email":"35191022+herrgahr","login":"herrgahr","count":1},{"name":"chriselrod","email":"elrodc@gmail.com","login":"chriselrod","count":1},{"name":"Yingbo Ma","email":"mayingbo5@gmail.com","login":"YingboMa","count":1},{"name":"CompatHelper Julia","email":"compathelper_noreply@julialang.org","login":null,"count":1},{"name":"fairbanks","email":"fairbanksj@CISE-MAC-43290d.fios-router.home","login":null,"count":1},{"name":"Willow Ahrens","email":"willow.marie.ahrens@gmail.com","login":"willow-ahrens","count":1},{"name":"Pietro Monticone","email":"38562595+pitmonticone","login":"pitmonticone","count":1},{"name":"NumHack","email":"70598762+NumHack","login":"NumHack","count":1},{"name":"Mosè Giordano","email":"mose@gnu.org","login":"giordano","count":1},{"name":"Mingze Feng","email":"fengmingze@hesaitech.com","login":"fengmingze","count":1},{"name":"McCoy Becker","email":"mccoybecker@gmail.com","login":"femtomc","count":1},{"name":"Kyle Deeds","email":"kylebd99@gmail.com","login":"kylebd99","count":1},{"name":"Jesse Perla","email":"jesseperla@gmail.com","login":"jlperla","count":1},{"name":"Hendrik Ranocha","email":"ranocha","login":"ranocha","count":1},{"name":"Greg Peairs","email":"peaigr@gmail.com","login":"gpeairs","count":1},{"name":"David P. Sanders","email":"dpsanders@gmail.com","login":"dpsanders","count":1}],"past_year_committers":[{"name":"Chris Rackauckas - Beep Boop Edition","email":"admin@chrisrackauckas.com","login":"ChrisRackauckas-Claude","count":2}],"commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2026-06-22T00:00:10.186Z","repositories_count":6266062,"commits_count":874697496,"contributors_count":35091139,"owners_count":1170207,"icon_url":"https://github.com/github.png","host_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories"}},"issues":{"table":{"full_name":"JuliaSymbolics/Metatheory.jl","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl","last_synced_at":"2026-06-20T22:00:35.613Z","status":"active","issues_count":106,"pull_requests_count":191,"avg_time_to_close_issue":25647693.820895523,"avg_time_to_close_pull_request":2196553.9875,"issues_closed_count":66,"pull_requests_closed_count":160,"pull_request_authors_count":28,"issue_authors_count":40,"avg_comments_per_issue":3.2358490566037736,"avg_comments_per_pull_request":1.8691099476439792,"merged_pull_requests_count":108,"bot_issues_count":0,"bot_pull_requests_count":45,"past_year_issues_count":5,"past_year_pull_requests_count":2,"past_year_avg_time_to_close_issue":1188.3333333333333,"past_year_avg_time_to_close_pull_request":null,"past_year_issues_closed_count":3,"past_year_pull_requests_closed_count":0,"past_year_pull_request_authors_count":2,"past_year_issue_authors_count":2,"past_year_avg_comments_per_issue":2.8,"past_year_avg_comments_per_pull_request":0.0,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":1,"past_year_merged_pull_requests_count":0,"created_at":"2023-05-10T16:06:49.345Z","updated_at":"2026-06-20T22:00:35.613Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/JuliaSymbolics%2FMetatheory.jl/issues","issue_labels_count":{"table":{"enhancement":6,"help wanted":4,"documentation":4,"bug":3,"RELEASE":1}},"pull_request_labels_count":{"table":{"dependencies":18,"no changelog":4,"formatting":4,"automated pr":4,"help wanted":1,"julia":1,"enhancement":1}},"issue_author_associations_count":{"table":{"NONE":60,"MEMBER":36,"CONTRIBUTOR":6,"COLLABORATOR":4}},"pull_request_author_associations_count":{"table":{"NONE":65,"MEMBER":51,"COLLABORATOR":44,"CONTRIBUTOR":31}},"issue_authors":{"table":{"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,"schrauf":1,"xitology":1,"dalejordan":1,"JuliaTagBot":1,"AIxer":1,"olynch":1,"jaakkor2":1,"tgorordo":1,"xtalax":1,"adrianleh":1,"vinhpb":1,"adamnemecek":1,"adkabo":1,"adomasbaliuka":1,"samuelsonric":1,"anandijain":1,"adamslc":1,"ztangent":1,"ChrisRackauckas":1,"jverzani":1,"philzook58":1,"kylebd99":1,"Roger-luo":1,"ChenZhao44":1,"jenkspt":1}},"pull_request_authors":{"table":{"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,"kylebd99":1,"emaibb":1,"chriselrod":1,"herrgahr":1,"jlperla":1,"ntoxeg":1,"pitmonticone":1,"ChrisRackauckas-Claude":1,"rayegun":1,"t-bltg":1,"adrianleh":1,"willow-ahrens":1,"ChrisRackauckas":1}},"host":{"table":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2026-06-22T00:00:10.239Z","repositories_count":14831699,"issues_count":33039662,"pull_requests_count":109009715,"authors_count":11314888,"icon_url":"https://github.com/github.png","host_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories","owners_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/owners","authors_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors"}},"past_year_issue_labels_count":{"table":{}},"past_year_pull_request_labels_count":{"table":{"dependencies":1,"julia":1}},"past_year_issue_author_associations_count":{"table":{"NONE":4,"MEMBER":1}},"past_year_pull_request_author_associations_count":{"table":{"CONTRIBUTOR":1,"NONE":1}},"past_year_issue_authors":{"table":{"karlwessel":4,"0x0f0f0f":1}},"past_year_pull_request_authors":{"table":{"ChrisRackauckas-Claude":1,"dependabot[bot]":1}},"maintainers":[{"table":{"login":"0x0f0f0f","count":79,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/0x0f0f0f"}},{"table":{"login":"gkronber","count":30,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/gkronber"}},{"table":{"login":"olynch","count":11,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/olynch"}},{"table":{"login":"shashi","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/shashi"}},{"table":{"login":"Wilkenfeld","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Wilkenfeld"}},{"table":{"login":"ChrisRackauckas","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ChrisRackauckas"}},{"table":{"login":"philzook58","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/philzook58"}}],"active_maintainers":[{"table":{"login":"0x0f0f0f","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/0x0f0f0f"}}]}},"events":{"total":{"DeleteEvent":3,"PullRequestEvent":21,"ForkEvent":2,"IssuesEvent":16,"WatchEvent":24,"IssueCommentEvent":80,"PushEvent":46,"PullRequestReviewCommentEvent":41,"PullRequestReviewEvent":48,"CreateEvent":12},"last_year":{"DeleteEvent":1,"PullRequestEvent":6,"ForkEvent":2,"IssuesEvent":1,"WatchEvent":12,"IssueCommentEvent":1,"PushEvent":8,"CreateEvent":2}},"keywords":["compiler-construction","compiler-optimization","egraphs","equality-saturation","julia","optimization","programming-language","symbolic","symbolic-computation","symbolic-manipulation","term-rewriting"],"dependencies":[{"ecosystem":"actions","filepath":".github/workflows/CompatHelper.yml","sha":null,"kind":"manifest","created_at":"2023-02-06T05:16:50.089Z","updated_at":"2023-02-06T05:16:50.089Z","repository_link":"https://github.com/JuliaSymbolics/Metatheory.jl/blob/master/.github/workflows/CompatHelper.yml","dependencies":[{"id":7384723070,"package_name":"julia-actions/setup-julia","ecosystem":"actions","requirements":"latest","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/Downstream.yml","sha":null,"kind":"manifest","created_at":"2023-02-06T05:16:50.097Z","updated_at":"2023-02-06T05:16:50.097Z","repository_link":"https://github.com/JuliaSymbolics/Metatheory.jl/blob/master/.github/workflows/Downstream.yml","dependencies":[{"id":7384723098,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":7384723099,"package_name":"julia-actions/setup-julia","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":7384723100,"package_name":"julia-actions/julia-buildpkg","ecosystem":"actions","requirements":"latest","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/TagBot.yml","sha":null,"kind":"manifest","created_at":"2023-02-06T05:16:50.107Z","updated_at":"2023-02-06T05:16:50.107Z","repository_link":"https://github.com/JuliaSymbolics/Metatheory.jl/blob/master/.github/workflows/TagBot.yml","dependencies":[{"id":7384723138,"package_name":"JuliaRegistries/TagBot","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/ci.yml","sha":null,"kind":"manifest","created_at":"2023-02-06T05:16:50.121Z","updated_at":"2023-02-06T05:16:50.121Z","repository_link":"https://github.com/JuliaSymbolics/Metatheory.jl/blob/master/.github/workflows/ci.yml","dependencies":[{"id":7384723155,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":7384723156,"package_name":"julia-actions/setup-julia","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":7384723157,"package_name":"actions/cache","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":7384723158,"package_name":"julia-actions/julia-buildpkg","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":7384723159,"package_name":"julia-actions/julia-runtest","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":7384723160,"package_name":"julia-actions/julia-processcoverage","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":7384723161,"package_name":"codecov/codecov-action","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/docs.yml","sha":null,"kind":"manifest","created_at":"2023-02-06T05:16:50.129Z","updated_at":"2023-02-06T05:16:50.129Z","repository_link":"https://github.com/JuliaSymbolics/Metatheory.jl/blob/master/.github/workflows/docs.yml","dependencies":[{"id":7384723162,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":7384723163,"package_name":"julia-actions/julia-buildpkg","ecosystem":"actions","requirements":"latest","direct":true,"kind":"composite","optional":false},{"id":7384723164,"package_name":"julia-actions/julia-docdeploy","ecosystem":"actions","requirements":"latest","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"cargo","filepath":"scratch/Cargo.toml","sha":null,"kind":"manifest","created_at":"2023-10-01T20:23:09.281Z","updated_at":"2023-10-01T20:23:09.281Z","repository_link":"https://github.com/JuliaSymbolics/Metatheory.jl/blob/master/scratch/Cargo.toml","dependencies":[]}],"score":16.19111411552843,"created_at":"2025-04-11T10:21:23.434Z","updated_at":"2026-06-22T23:00:35.103Z","avatar_url":"https://github.com/JuliaSymbolics.png","language":"Julia","codemeta":null,"publiccode":null,"project_url":"https://summary.ecosyste.ms/api/v1/projects/357952","html_url":"https://summary.ecosyste.ms/projects/357952"}