{"id":1943,"name":"Metatheory.jl","description":"Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation - Published in JOSS (2021)","url":"https://github.com/JuliaSymbolics/Metatheory.jl","last_synced_at":"2025-09-04T16:37:51.783Z","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":"2025-08-01T04:48:39.000Z","size":3498,"stargazers_count":381,"open_issues_count":55,"forks_count":46,"subscribers_count":13,"default_branch":"master","last_synced_at":"2025-09-04T12:02:27.985Z","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},"funding":{"custom":["https://github.com/sponsors/0x0f0f0f/"]}},"created_at":"2021-01-12T09:21:05.000Z","updated_at":"2025-09-01T13:42:21.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":273637102,"owners_count":25141511,"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","status":"online","status_checked_at":"2025-09-04T02:00:08.968Z","response_time":61,"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":"2025-09-03T20:51:26.906Z","created_at":"2022-04-19T16:37:56.201Z","updated_at":"2025-09-03T20:51:26.907Z","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":123,"downloads_period":"total","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","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","maintainers":[],"registry":{"name":"juliahub.com","url":"https://juliahub.com","ecosystem":"julia","default":true,"packages_count":12675,"maintainers_count":0,"namespaces_count":0,"keywords_count":7424,"github":"JuliaRegistries","metadata":{"funded_packages_count":856},"icon_url":"https://github.com/JuliaRegistries.png","created_at":"2022-04-19T16:34:08.340Z","updated_at":"2025-09-04T07:04:50.164Z","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","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":"Christopher Rackauckas","email":"accounts@chrisrackauckas.com","login":"ChrisRackauckas","count":4},{"name":"Chen Zhao","email":"zhaochen17@mails.ucas.ac.cn","login":"ChenZhao44","count":4},{"name":"Shashi Gowda","email":"gowda@mit.edu","login":"shashi","count":3},{"name":"jump","email":"jump@jump.jump","login":null,"count":2},{"name":"Philip Zucker","email":"philzook58@gmail.com","login":"philzook58","count":2},{"name":"David P. Sanders","email":"dpsanders@gmail.com","login":"dpsanders","count":1},{"name":"Greg Peairs","email":"peaigr@gmail.com","login":"gpeairs","count":1},{"name":"Hendrik Ranocha","email":"ranocha","login":"ranocha","count":1},{"name":"Jesse Perla","email":"jesseperla@gmail.com","login":"jlperla","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":"Kyle Deeds","email":"kylebd99@gmail.com","login":"kylebd99","count":1},{"name":"McCoy Becker","email":"mccoybecker@gmail.com","login":"femtomc","count":1},{"name":"Mingze Feng","email":"fengmingze@hesaitech.com","login":"fengmingze","count":1},{"name":"Mosè Giordano","email":"mose@gnu.org","login":"giordano","count":1},{"name":"NumHack","email":"70598762+NumHack","login":"NumHack","count":1},{"name":"Pietro Monticone","email":"38562595+pitmonticone","login":"pitmonticone","count":1},{"name":"Willow Ahrens","email":"willow.marie.ahrens@gmail.com","login":"willow-ahrens","count":1},{"name":"Yingbo Ma","email":"mayingbo5@gmail.com","login":"YingboMa","count":1},{"name":"chriselrod","email":"elrodc@gmail.com","login":"chriselrod","count":1},{"name":"herrgahr","email":"35191022+herrgahr","login":"herrgahr","count":1},{"name":"t-bltg","email":"tf.bltg@gmail.com","login":"t-bltg","count":1}],"total_commits":600,"total_committers":31,"total_bot_commits":10,"total_bot_committers":1,"mean_commits":19.35483870967742,"dds":0.4966666666666667,"past_year_committers":[{"name":"a","email":"a@a.a","login":null,"count":7}],"past_year_total_commits":7,"past_year_total_committers":1,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":7.0,"past_year_dds":0.0,"last_synced_at":"2025-08-07T06:45:14.286Z","last_synced_commit":"7e2732ad25cc8dff12517c35be6f6d6e7d37bbf4","created_at":"2023-03-09T12:21:50.644Z","updated_at":"2025-08-07T06:45:14.319Z","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":"2025-08-08T00:00:12.331Z","repositories_count":5414652,"commits_count":848533866,"contributors_count":30914391,"owners_count":904115,"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_stats":{"full_name":"JuliaSymbolics/Metatheory.jl","html_url":"https://github.com/JuliaSymbolics/Metatheory.jl","last_synced_at":"2025-08-31T12:27:45.461Z","status":null,"issues_count":103,"pull_requests_count":132,"avg_time_to_close_issue":21783852.28358209,"avg_time_to_close_pull_request":2162259.4601769913,"issues_closed_count":66,"pull_requests_closed_count":113,"pull_request_authors_count":26,"issue_authors_count":40,"avg_comments_per_issue":3.4660194174757284,"avg_comments_per_pull_request":2.1515151515151514,"merged_pull_requests_count":80,"bot_issues_count":0,"bot_pull_requests_count":29,"past_year_issues_count":16,"past_year_pull_requests_count":30,"past_year_avg_time_to_close_issue":1778151.6,"past_year_avg_time_to_close_pull_request":2055957.6875,"past_year_issues_closed_count":5,"past_year_pull_requests_closed_count":16,"past_year_pull_request_authors_count":5,"past_year_issue_authors_count":8,"past_year_avg_comments_per_issue":0.6875,"past_year_avg_comments_per_pull_request":4.2,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":1,"past_year_merged_pull_requests_count":14,"created_at":"2023-05-10T16:06:49.345Z","updated_at":"2025-09-03T03:43:35.098Z","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":{"enhancement":5,"documentation":4,"bug":3,"help wanted":3,"RELEASE":1},"pull_request_labels_count":{"dependencies":17,"formatting":4,"automated pr":4,"no changelog":4,"enhancement":1,"help wanted":1},"issue_author_associations_count":{"NONE":56,"MEMBER":34,"CONTRIBUTOR":6,"COLLABORATOR":4},"pull_request_author_associations_count":{"NONE":65,"MEMBER":51,"COLLABORATOR":44,"CONTRIBUTOR":29},"issue_authors":{"0x0f0f0f":29,"overshiki":7,"gkronber":6,"ViciousDoormat":6,"willow-ahrens":4,"vitrun":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":{"0x0f0f0f":48,"gkronber":32,"github-actions[bot]":28,"nmheim":17,"dependabot[bot]":17,"olynch":12,"Wilkenfeld":6,"spaette":4,"jumerckx":4,"MrVPlusOne":3,"gkronber-machine":2,"shashi":2,"ranocha":1,"dpinol":1,"kylebd99":1,"emaibb":1,"chriselrod":1,"herrgahr":1,"jlperla":1,"ntoxeg":1,"pitmonticone":1,"rayegun":1,"t-bltg":1,"adrianleh":1,"willow-ahrens":1,"ChrisRackauckas":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-03T00:00:08.273Z","repositories_count":10068978,"issues_count":31212674,"pull_requests_count":95211468,"authors_count":10688660,"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":{},"past_year_pull_request_labels_count":{"dependencies":2},"past_year_issue_author_associations_count":{"NONE":13,"COLLABORATOR":2},"past_year_pull_request_author_associations_count":{"COLLABORATOR":27,"MEMBER":5,"NONE":4,"CONTRIBUTOR":2},"past_year_issue_authors":{"ViciousDoormat":6,"Byurdyzo":2,"gkronber":2,"THinnerichs":2,"adrianleh":1,"samuelsonric":1,"ztangent":1},"past_year_pull_request_authors":{"gkronber":21,"olynch":6,"0x0f0f0f":5,"jumerckx":4,"dependabot[bot]":2},"maintainers":[{"login":"0x0f0f0f","count":77,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/0x0f0f0f"},{"login":"gkronber","count":30,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/gkronber"},{"login":"olynch","count":11,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/olynch"},{"login":"shashi","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/shashi"},{"login":"Wilkenfeld","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Wilkenfeld"},{"login":"ChrisRackauckas","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ChrisRackauckas"},{"login":"philzook58","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/philzook58"}],"active_maintainers":[{"login":"gkronber","count":23,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/gkronber"},{"login":"olynch","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/olynch"},{"login":"0x0f0f0f","count":5,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/0x0f0f0f"}]},"events":{"total":{"IssuesEvent":15,"WatchEvent":17,"DeleteEvent":2,"IssueCommentEvent":79,"PushEvent":38,"PullRequestEvent":15,"PullRequestReviewCommentEvent":41,"PullRequestReviewEvent":48,"ForkEvent":2,"CreateEvent":10},"last_year":{"IssuesEvent":15,"WatchEvent":17,"DeleteEvent":2,"IssueCommentEvent":79,"PushEvent":38,"PullRequestEvent":15,"PullRequestReviewCommentEvent":41,"PullRequestReviewEvent":48,"ForkEvent":2,"CreateEvent":10}},"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":14.347911354785658,"created_at":"2025-09-04T09:17:54.711Z","updated_at":"2025-10-07T08:04:35.944Z","avatar_url":"https://github.com/JuliaSymbolics.png","language":"Julia","category":"Scientific Software","sub_category":"Peer-reviewed","monthly_downloads":0,"funding_links":["https://github.com/sponsors/0x0f0f0f/","https://github.com/sponsors/0x0f0f0f/)!"],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":["ode","graphics","differential-equations","pde","dynamical-systems","meshing","ode-solver","probabilistic-models","probabilistic-numerics","julialang"],"project_url":"https://science.ecosyste.ms/api/v1/projects/1943","html_url":"https://science.ecosyste.ms/projects/1943","bibtex_url":"https://science.ecosyste.ms/projects/1943/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/1943/export.apalike"}