Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 16 Tex Category Theory Open Source Projects

Open source projects categorized as Tex Category Theory
Categories > Mathematics > Category Theory
Milewski Ctfp Pdf ⭐ 10,547
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
most recent commit 4 months ago
Unplugged ⭐ 2,821
Open book about math and programming.
most recent commit 6 months ago
Book ⭐ 52
The category theory by example book
most recent commit 9 months ago
Aluffi ⭐ 45
Solutions to Paolo Aluffi's "Algebra: Chapter 0".
most recent commit 6 years ago
C3t ⭐ 27
C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱
most recent commit a year ago
Commutative Diagrams ⭐ 26
CoDi: Commutative Diagrams for TeX
most recent commit 8 months ago
Cain ⭐ 23
Category theory applied to functional programming (undergraduate project)
most recent commit 5 years ago
Tymfgg Pearl ⭐ 14
Type Your Matrices For Great Good
most recent commit 4 years ago
Pierce Categories ⭐ 14
Exercises from "Basic Category Theory for Computer Scientists" by Benjamin Pierce.
most recent commit 2 years ago
Reed Thesis ⭐ 13
My undergradate thesis on coinductive types in univalent type theory
most recent commit 6 years ago
Category Theory Seminar Notes Cnu 2018 ⭐ 12
首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, LaTeX docs and PDF docs inside.
most recent commit 5 years ago
Acs Category Theory Notes 2017 ⭐ 12
Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
most recent commit 6 years ago
Act4e ⭐ 9
Sources for "Applied Category Theory for Engineering"
most recent commit 6 months ago
Category Studygroup ⭐ 8
most recent commit 7 years ago
Introcategorias ⭐ 7
Apuntes de introducción a la teoría de categorías.
most recent commit 7 years ago
Math Translations ⭐ 7
Hypertext translations of some classic mathematical papers into English
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.