Concept Params
Coq formalization of "concept parameters" for "generic" programming in STLC
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Learn Tt | 1,307 | 4 years ago | 4 | |||||||
| A collection of resources for learning type theory and type theory adjacent fields. | ||||||||||
| Coq Ext Lib | 123 | 2 months ago | 17 | bsd-2-clause | Coq | |||||
| A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai] | ||||||||||
| Profunctor Monad | 33 | 2 years ago | 2 | May 17, 2022 | 1 | mit | Coq | |||
| Bidirectional programming in Haskell with monadic profunctors | ||||||||||
| Pukeko | 20 | 2 years ago | 3 | other | Haskell | |||||
| A toy compiler based on SPJ's "The Implementation of Functional Programming Languages" | ||||||||||
| Dafny Sandbox | 17 | 6 months ago | Dafny | |||||||
| Dafny for Metatheory of Programming Languages | ||||||||||
| Concept Params | 8 | 7 years ago | mit | Coq | ||||||
| Coq formalization of "concept parameters" for "generic" programming in STLC | ||||||||||
| Plt Formal Methods Resources | 7 | 5 years ago | ||||||||
| Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields. | ||||||||||
| L2c | 7 | 5 years ago | 1 | other | Coq | |||||
| Awesome Agda Programming | 7 | 4 years ago | 1 | mit | ||||||
| Awesome Agda Programming | ||||||||||
| Amazing Coq | 6 | 8 years ago | mit | Coq | ||||||
| WHAT I have done on the road to Coq language and certified programming. | ||||||||||
Alternatives To Concept ParamsSelect To Compare
Alternative Project Comparisons
Popular Programming Projects
Popular Coq Projects
Popular Learning Resources Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Programming
Coq
Generic Programming