philzook58 / awesome-egraphs

An awesome list of e-graph resources

philzook58
philzook58
Date Created 2024-10-07 (5 months ago)
Commits 45 (last one about a month ago)
Stargazers 143 (3 this week)
Watchers 7 (0 this week)
Forks 8
License mit
Ranking

RepositoryStats indexes 632,768 repositories, of these philzook58/awesome-egraphs is ranked #239,271 (62nd percentile) for total stargazers, and #261,341 for total watchers.

philzook58/awesome-egraphs is also tagged with popular topics, for these it's ranked: optimization (#408/945)

Star History

Github stargazers over time

16016014014012012010010080806060404020200015 Oct15 OctNov '24Nov '2415 Nov15 NovDec '24Dec '2415 Dec15 DecJan '25Jan '2515 Jan15 JanFeb '25Feb '2515 Feb15 FebMar '25Mar '2515 Mar15 Mar

Watcher History

Github watchers over time, collection started in '23

7777776.56.566666615 Oct15 OctNov '24Nov '2415 Nov15 NovDec '24Dec '2415 Dec15 DecJan '25Jan '2515 Jan15 JanFeb '25Feb '2515 Feb15 FebMar '25Mar '2515 Mar15 Mar

Recent Commit History

45 commits on the default branch (main) since jan '22

45454040353530302525202015151010550015 Oct15 OctNov '24Nov '2415 Nov15 NovDec '24Dec '2415 Dec15 DecJan '25Jan '2515 Jan15 JanFeb '25Feb '2515 Feb15 FebMar '25Mar '2515 Mar15 Mar

Yearly Commits

Commits to the default branch (main) per year

353530302525202015151010550020242024

Issue History

No issues have been posted

Languages

We don't have any language data for this repository

It's a mystery

updated: 2025-03-28 @ 12:47am, id: 869013938 / R_kgDOM8wZsg