Paramcoq
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Sf Zh | 704 | 2 years ago | 4 | HTML | ||||||
| 《软件基础》中译版 Software Foundations Chinese Translation | ||||||||||
| Paramcoq | 44 | 5 months ago | 7 | other | Coq | |||||
| Coq plugin for parametricity [maintainer=@proux01] | ||||||||||
| Intensional Computation | 13 | 5 years ago | gpl-3.0 | Coq | ||||||
| translations of a lambda abstraction to combinations of operators | ||||||||||
| Coq Forcing | 8 | 3 years ago | 3 | Coq | ||||||
| A plugin for Coq that implements the call-by-name forcing translation | ||||||||||
| Coq Forcing | 6 | 8 years ago | 1 | Coq | ||||||
| Tentative implementation of call-by-name forcing in Coq | ||||||||||
| Coq Effects | 6 | 7 years ago | 1 | wtfpl | Coq | |||||
| A program translation implementing self-algebraic effects in Coq. | ||||||||||
| Paramcoq Iff | 6 | 6 years ago | 10 | Coq | ||||||
| Exceptional Tt | 5 | 3 years ago | wtfpl | OCaml | ||||||
| A Coq plugin that implements exceptions in Coq | ||||||||||
Alternatives To ParamcoqSelect To Compare
Alternative Project Comparisons
Popular Coq Projects
Popular Translation Projects
Popular Mathematics Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Translation
Translate
Coq