miestrode / ekege

A different approach to an E-graph library

miestrode
miestrode
Date Created 2024-05-12 (10 months ago)
Commits 78 (last one 6 months ago)
Stargazers 25 (0 this week)
Watchers 2 (0 this week)
Forks 0
License apache-2.0
Ranking

RepositoryStats indexes 632,768 repositories, of these miestrode/ekege is ranked #624,621 (1st percentile) for total stargazers, and #481,481 for total watchers. Github reports the primary language for this repository as Rust, for repositories using this language it is ranked #18,207/18,422.

Star History

Github stargazers over time

25252020151510105500Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25Mar '25Mar '25

Watcher History

Github watchers over time, collection started in '23

3333222222111124 Feb24 FebMar '25Mar '2508 Mar08 Mar16 Mar16 Mar24 Mar24 Mar

Recent Commit History

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

8080707060605050404030302020101000Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25Mar '25Mar '25

Yearly Commits

Commits to the default branch (main) per year

808070706060505040403030202010100020242024

Issue History

No issues have been posted

Languages

The only known language in this repository is Rust

RustRust

updated: 2025-02-19 @ 10:38pm, id: 799566737 / R_kgDOL6hrkQ