Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Category Theory

An axiom-free formalization of category theory in Coq for personal study and practical work
Stars
720
License
bsd-3-clause
Open Issues
4
Most Recent Commit
4 months ago
Programming Language
Coq
Categories
Repo
Suggest An Alternative To category-theory
Popular Coq Projects
Popular Arrow Projects
Polars ⭐ 24,900
Dataframes powered by a multithreaded, vectorized query engine, written in Rust
dependent packages 346total releases 328latest release December 01, 2023most recent commit a month agopypi polars} Downloads
Arrow ⭐ 13,064
Apache Arrow is a multi-language toolbox for accelerated data interchange and in-memory processing
dependent packages 2,386total releases 47latest release November 08, 2023most recent commit 3 months agopypi pyarrow} Downloads
Onepage Scroll ⭐ 9,528
Create an Apple-like one page scroller website (iPhone 5S website) with One Page Scroll plugin
dependent packages 3total releases 2latest release October 01, 2015most recent commit 4 years agonpm onepage-scroll} Downloads
Arrow ⭐ 8,550
🏹 Better dates & times for Python
dependent packages 1,099total releases 64latest release September 30, 2023most recent commit 9 days agopypi arrow} Downloads
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Related Searches
Monad Functor
Monad Monoid
Functor Monoid
Monad Category Theory
Functor Category Theory
Monad Coq
Arrow Monad

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Arrow
Monad
Coq
Functor
Category Theory
Monoid
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.