{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"egglog-python","owner":"egraphs-good","isFork":false,"description":"Python bindings for the egg-smol rust library","topicNames":["python","rust","dsl","term-rewriting","equality-saturation","e-graph"],"topicsNotShown":0,"allTopics":["python","rust","dsl","term-rewriting","equality-saturation","e-graph"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":7,"issueCount":8,"starsCount":50,"forksCount":6,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T14:38:48.820Z"}},{"type":"Public","name":"egglog","owner":"egraphs-good","isFork":false,"description":"egraphs + datalog!","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":6,"issueCount":61,"starsCount":355,"forksCount":42,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T14:26:42.933Z"}},{"type":"Public","name":"eggcc","owner":"egraphs-good","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":2,"issueCount":42,"starsCount":35,"forksCount":8,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T00:41:18.038Z"}},{"type":"Public","name":"extraction-gym","owner":"egraphs-good","isFork":false,"description":"benchmarking e-graph extraction","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":3,"issueCount":5,"starsCount":23,"forksCount":13,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-17T23:14:27.870Z"}},{"type":"Public","name":"egg","owner":"egraphs-good","isFork":false,"description":"egg is a flexible, high-performance e-graph library","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":3,"issueCount":16,"starsCount":1251,"forksCount":120,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T19:59:39.144Z"}},{"type":"Public","name":"egraphs-good.github.io","owner":"egraphs-good","isFork":false,"description":"egraphs-good website","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":3,"issueCount":0,"starsCount":14,"forksCount":9,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-16T19:45:50.686Z"}},{"type":"Public","name":".github","owner":"egraphs-good","isFork":false,"description":"Readme for the egraphs-good org","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-16T19:45:00.343Z"}},{"type":"Public","name":"egraph-serialize","owner":"egraphs-good","isFork":false,"description":"egraph <-> json","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":2,"starsCount":7,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-22T17:31:00.061Z"}},{"type":"Public","name":"snake-egg","owner":"egraphs-good","isFork":false,"description":"Python bindings for egg","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":44,"forksCount":13,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-17T21:11:06.687Z"}},{"type":"Public","name":"egg-tutorial-pldi-2022","owner":"egraphs-good","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-13T15:46:39.568Z"}},{"type":"Public","name":"egg-web-demo","owner":"egraphs-good","isFork":false,"description":"a web demo for egg","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-10-27T17:38:09.327Z"}}],"repositoryCount":11,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}