Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / egraphs-good/egraphs-good.github.io issues and pull requests
#10 - Add Luminal to project list
Pull Request -
State: closed - Opened by jafioti 9 months ago
#9 - Fix workshop link in header
Pull Request -
State: closed - Opened by jaens over 1 year ago
- 1 comment
#8 - Update url to correct github repo
Pull Request -
State: closed - Opened by Wv5twkFEKh54vo4tta9yu7dHa3 over 1 year ago
- 1 comment
#7 - Add Babble to the list of projects using egg
Pull Request -
State: closed - Opened by rosekunkel almost 2 years ago
#6 - add risinglight in projects using egg
Pull Request -
State: closed - Opened by skyzh over 2 years ago
- 1 comment
#5 - Add page for pldi 2022 egraphs workshop
Pull Request -
State: closed - Opened by ajpal over 2 years ago
- 2 comments
#4 - Add links to Ruler code and talk, mention the award under news
Pull Request -
State: closed - Opened by chandrakananandi over 3 years ago
#3 - Ruler updates
Pull Request -
State: closed - Opened by chandrakananandi over 3 years ago
#2 - Add venue for Glenside
Pull Request -
State: closed - Opened by gussmith23 almost 4 years ago
#1 - Add Glenside
Pull Request -
State: closed - Opened by gussmith23 over 4 years ago