Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 13 Topology Algebra Open Source Projects

Open source projects categorized as Topology Algebra
Categories > Mathematics > Algebra
Categories > Mapping > Topology
Mathlib ⭐ 1,463
Lean mathematical components library
most recent commit 5 hours ago
Grassmann.jl ⭐ 392
⟨Leibniz-Grassmann-Clifford⟩ differential geometric algebra / multivector simplicial complex
most recent commit 2 months ago
Mather ⭐ 303
zzllrr mather(an offline tool for Math learning, education and research)小乐数学，离线可用的数学学习（自学或教学）、研究辅助工具。计划覆盖数学全部学科的解
most recent commit 2 months ago
Swm Core ⭐ 189
Pure Math in Pure Swift.
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 4 years ago
Trivium ⭐ 7
An English translation of a problem course ("Trivium") in undergraduate maths
most recent commit 2 months ago
Ankimath ⭐ 5
A bachelor's degree in mathematics.
most recent commit a year ago
Mathbasics ⭐ 4
Jean Gallier‘s Algebra, Topology, Differential Calculus, and Optimization Theory for Computer Science and Machine Learning Chinese version
most recent commit 3 years ago
Road To Maths Degree ⭐ 4
Road to Maths Degree!!
most recent commit 7 months ago
Grassmann.wl ⭐ 4
⟨Leibniz-Grassmann-Clifford⟩ differential geometric algebra / multivector simplicial complex
most recent commit a year ago
Self_study ⭐ 3
most recent commit 5 years ago
Math_notes ⭐ 1
A collection of my TeXed notes for math courses at UT Austin
most recent commit 6 months ago
Braids.jl ⭐ 1
Julia package for manipulating braids, including reductions and representations
most recent commit 5 years ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Probability
Tensor
Algebra
Matrices
Fft
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2023 Awesome Open Source.  All rights reserved.