Project Name	Stars	Most Recent Commit	Open Issues	Language
Category Theory Resources	491	a year ago	4
Resources for learning Category Theory for an enthusiast
Ct	8	5 years ago		Coq
My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.

Alternatives To Category Theory Resources

Select To Compare

Category Theory Resources ⭐ 491

Resources for learning Category Theory for an enthusiast

most recent commit a year 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

Suggest An Alternative To category-theory-resources

Alternative Project Comparisons

Category Theory Resources vs Ct

Popular Category Theory Projects

Milewski Ctfp Pdf ⭐ 10,547

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

most recent commit 4 months ago

Plt ⭐ 5,018

Programming Language Theory λΠ

most recent commit 9 months ago

Books ⭐ 4,970

Awesome Books

most recent commit 6 months ago

Unplugged ⭐ 2,821

Open book about math and programming.

most recent commit 6 months ago

Quiver ⭐ 2,246

A modern commutative diagram editor for the web.

most recent commit 4 months ago

Popular Topology Projects

Amqp ⭐ 4,704

Go client for AMQP 0.9.1

dependent packages 2,457total releases 4latest release June 19, 2023most recent commit 8 months ago

Skydive ⭐ 2,522

An open source real-time network topology and protocols analyzer

dependent packages 4total releases 25latest release April 12, 2021most recent commit 4 months ago

Sneakers ⭐ 2,193

A fast background processing framework for Ruby and RabbitMQ

dependent packages 26total releases 32latest release December 24, 2019most recent commit a year ago

Jts ⭐ 1,799

The JTS Topology Suite is a Java library for creating and manipulating vector geometry.

dependent packages 202total releases 11latest release June 21, 2022most recent commit 3 months ago

Qtunnel ⭐ 1,649

A secure socket tunnel works on getqujing.com

total releases 1latest release April 18, 2017most recent commit 7 years ago

Popular Mathematics Categories