Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 4 Coq Typeclasses Open Source Projects

Open source projects categorized as Coq Typeclasses
Categories > Typeclasses
Math Classes ⭐ 157
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]
most recent commit 12 days ago
Next 700 Module Systems ⭐ 69
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
most recent commit 2 years ago
Mcqc ⭐ 23
A Gallina compiler with C++17 as an intermediate representation
most recent commit 3 years ago
Lemma Overloading ⭐ 22
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
most recent commit 2 years ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.