finsberg / category-theory-python
Learning platform for category theory in python
☆16Updated this week
Alternatives and similar repositories for category-theory-python:
Users that are interested in category-theory-python are comparing it to the libraries listed below
- ☆24Updated 2 years ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆19Updated this week
- Physics Derivation Graph: mathematical connections among equations☆20Updated 7 months ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- A toolkit for higher-dimensional diagram rewriting.☆16Updated 2 years ago
- A series of introductory instructional python notebooks, for computational number theory.☆13Updated 6 years ago
- multilingual dictionary of mathematical terminology☆19Updated 2 months ago
- AIDN is a deep learning algorithm to represent any finitely-presented algebraic object with a set of deep neural networks.☆8Updated 3 years ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 3 years ago
- ☆22Updated 2 years ago
- ☆9Updated 2 years ago
- A Python module for (local) Poisson-Nijenhuis calculus on Poisson manifolds☆13Updated 3 months ago
- Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)☆10Updated 5 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 6 years ago
- A numerical code generator☆20Updated 11 years ago
- Andrzej Chrzeszczyk's introduction to manifolds in SageMath☆8Updated 2 years ago
- High-performance tokenized language data-loader for Python C++ extension☆12Updated 5 months ago
- Easily serialize dataclasses to and from tensors (PyTorch, NumPy)☆18Updated 3 years ago
- A system for computational category theory and applications☆37Updated 8 years ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated 9 months ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆50Updated 11 months ago
- Deep Probabilistic Programming Language☆19Updated 5 months ago
- List of awesome JAX resources☆13Updated 2 years ago
- Sheaves library for graph abstractions based on NetworkX☆14Updated 5 years ago
- Code to estimate models in epidemiology☆9Updated last year
- DeepAlgebra☆25Updated 7 years ago