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
- Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)☆10Updated 5 years ago
- A Python module for (local) Poisson-Nijenhuis calculus on Poisson manifolds☆13Updated 5 months ago
- High-performance tokenized language data-loader for Python C++ extension☆12Updated 8 months ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- FreeTikZ☆38Updated 7 years ago
- Andrzej Chrzeszczyk's introduction to manifolds in SageMath☆8Updated 2 years ago
- Physics Derivation Graph: mathematical connections among equations☆20Updated 10 months ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 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 2 months ago
- AIDN is a deep learning algorithm to represent any finitely-presented algebraic object with a set of deep neural networks.☆8Updated 4 years ago
- ☆25Updated 2 years ago
- ☆40Updated 9 months ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- ☆10Updated 5 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆12Updated last year
- ☆23Updated 2 years ago
- Bonn Lean course for winter 24/25☆27Updated 3 months ago
- Generic API for dispatch to Pyro backends.☆16Updated 3 years ago
- Theory and Applications of Lenses and Optics☆54Updated 2 years ago
- ☆13Updated 2 years ago
- ☆9Updated 2 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated last year
- Easily optimize generic performance metrics in differentiable learning.☆18Updated 4 years ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 3 years ago
- Easily serialize dataclasses to and from tensors (PyTorch, NumPy)☆18Updated 4 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- Accelerated Stochastic Power Iteration with Momentum☆9Updated 7 years ago