Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 22 Mathematics Category Theory Open Source Projects

Open source projects categorized as Mathematics Category Theory
Categories > Mathematics > Category Theory
Categories > Mathematics > Mathematics
Unplugged ⭐ 2,821
Open book about math and programming.
most recent commit 6 months ago
Category Theory Programmers ⭐ 452
Category theory in the context of (functional) programming
most recent commit 6 years ago
Adjoint ⭐ 144
Thoughts on adjoint, norm and such.
most recent commit a year ago
Foundational Knowledge For Programmers ⭐ 112
List of resources about foundational knowledge for programmers (supposed to last a few decades)
most recent commit 3 years ago
Bewl ⭐ 55
A DSL for the internal language of a topos
most recent commit 4 months ago
Homotopy Rs ⭐ 54
A Rust/WASM implementation of homotopy.io
most recent commit 3 months ago
Forest ⭐ 53
My mathematical Zettelkasten, created using forester.
most recent commit 3 months ago
Directsum.jl ⭐ 48
Tangent bundle, vector space and Submanifold definition
most recent commit 7 months ago
Abstracttensors.jl ⭐ 42
Tensor algebra abstract type interoperability setup
most recent commit 9 months ago
Opycleid ⭐ 27
Opycleid - A Python package for transformational music theory
total releases 15most recent commit 2 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
Ctlc ⭐ 23
(λ) Category theory and lambda calculus, Bachelor's thesis
most recent commit 5 years ago
Functional Programming From Scratch Ja ⭐ 20
関数型プログラミングをゼロからわかりやすく実用的に幅広い視点から解説！〜 圏論からFRPの構築まで
most recent commit 5 months ago
Category Theory ⭐ 18
sometimes math is just too much fun
most recent commit 9 years ago
Awesome Double Categories ⭐ 15
A list of works and resources about double category theory, with a particular focus on applications.
most recent commit a year ago
Reed Thesis ⭐ 13
My undergradate thesis on coinductive types in univalent type theory
most recent commit 6 years ago
Cifl Math Library ⭐ 12
Basic mathematics library
most recent commit 5 months ago
Category Studygroup ⭐ 8
most recent commit 7 years 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
Arrows ⭐ 8
A computer algebra system in Smalltalk
most recent commit 4 months 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.