egraphs-good/egraphs-good.github.io - GitHub Explorer | GitHub Explorer | Trending

Stars

18

Forks

9

Watchers

18

Open Issues

1

Repository Health Score

🧡

55/100

Fair

Overall repository health assessment

Score Breakdown

Activity

Regular updates - updated this month

20/30

67%

Recent Commits

Update with egg/egglog info

Max Willsey•3 weeks ago

e611966View on GitHub

Remove redundant footer

Max Willsey•3 weeks ago

3a84f67View on GitHub

Remove old workshop stuff

Max Willsey•3 weeks ago

565afd2View on GitHub

Fix link

Max Willsey•1 year ago

cc7568eView on GitHub

link to awesome e-graphs

Max Willsey•1 year ago

78227dcView on GitHub

Add babble

Max Willsey•1 year ago

c79d833View on GitHub

Update index.md (#10)

Joe Fioti•1 year ago

85d77baView on GitHub

Update

Max Willsey•2 years ago

d98738fView on GitHub

Add egglog note

Max Willsey•2 years ago

ad5337fView on GitHub

Tighten nav css

Max Willsey•2 years ago

6520252View on GitHub

Convert to jekyll

Max Willsey•2 years ago

442509bView on GitHub

Add egglog

Max Willsey•2 years ago

966225fView on GitHub

Add Sam's paper

Max Willsey•3 years ago

824d992View on GitHub

Update index

Max Willsey•3 years ago

a5d20eaView on GitHub

Update workshop details

Max Willsey•3 years ago

9636d68View on GitHub

View all commits

GitHub Explorer

egraphs-good.github.io

Score Breakdown

Issues Activity: Last 6 months

Hottest Issues