Engine Bench
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Coq Elpi | 117 | 3 months ago | 64 | lgpl-2.1 | OCaml | |||||
| Coq plugin embedding elpi | ||||||||||
| Dafny Sandbox | 17 | 6 months ago | Dafny | |||||||
| Dafny for Metatheory of Programming Languages | ||||||||||
| Coq Ltac2 Experiments | 10 | 3 years ago | Coq | |||||||
| All the code I've ever written in Ltac2 | ||||||||||
| Reification By Parametricity | 10 | 3 years ago | mit | Mathematica | ||||||
| Fast Setup for Proof by Reflection, in Two Lines of Ltac. | ||||||||||
| Engine Bench | 5 | 2 years ago | 1 | mit | Coq | |||||
| Benchmarks for various proof engines | ||||||||||
| Cfgv | 5 | 4 years ago | Coq | |||||||
| A generic library for reasoning about languages with binders | ||||||||||
Alternatives To Engine BenchSelect To Compare
Alternative Project Comparisons
Popular Binder Projects
Popular Coq Projects
Popular Machine Learning Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Binder
Coq
Proof Assistant