Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 7 Category Coq Open Source Projects

Open source projects categorized as Category Coq
Categories > User Interface > Category
Category Theory ⭐ 720
An axiom-free formalization of category theory in Coq for personal study and practical work
most recent commit 4 months ago
Interactiontrees ⭐ 180
A Library for Representing Recursive and Impure Programs in Coq
most recent commit 6 months ago
Typetheory ⭐ 106
The mathematical study of type theories, in univalent foundations
most recent commit 8 months ago
Hott Categories ⭐ 19
A category theory library built on top of Homotopy Type Theory, by Jason Gross
most recent commit 10 years ago
Largecatmodules ⭐ 11
Large category of modules over monads on top of UniMaths and Display category
most recent commit 9 months ago
Ct ⭐ 8
My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
most recent commit 5 years ago
Ctdt ⭐ 6
Category-theoretic domain theory.
most recent commit 8 years ago
Popular User Interface Categories
Theme
Flutter
Animation
Redux
Bindings
Gui
Material
Visualization
Layout
Qt
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.