NethermindEth / Clear

Interactive formal verification tool for Yul programs

Date Created 2024-05-22 (9 months ago)
Commits 36 (last one 2 months ago)
Stargazers 61 (0 this week)
Watchers 4 (0 this week)
Forks 5
License other
Ranking

RepositoryStats indexes 616,861 repositories, of these NethermindEth/Clear is ranked #421,796 (32nd percentile) for total stargazers, and #382,023 for total watchers. Github reports the primary language for this repository as Lean, for repositories using this language it is ranked #72/131.

Other Information

NethermindEth/Clear has 10 open pull requests on Github, 12 pull requests have been merged over the lifetime of the repository.

Star History

Github stargazers over time

707060605050404030302020101000Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Watcher History

Github watchers over time, collection started in '23

443.53.5332.52.5221.51.511Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Recent Commit History

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

40403535303025252020151510105500Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Yearly Commits

Commits to the default branch (main) per year

4040353530302525202015151010550020242024

Issue History

No issues have been posted

Languages

The primary language is Lean but there's also others...

LeanLeanHaskellHaskellYaccYaccLexLexYulYulNixNix

updated: 2025-02-08 @ 06:36am, id: 804422654 / R_kgDOL_KD_g