finsberg / category-theory-pythonLinks
Learning platform for category theory in python
☆17Updated 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
Sorting:
- A Python module for (local) Poisson-Nijenhuis calculus on Poisson manifolds☆13Updated 9 months ago
- Andrzej Chrzeszczyk's introduction to manifolds in SageMath☆8Updated 2 years ago
- Physics Derivation Graph: mathematical connections among equations☆20Updated last year
- A series of simulation codes used to emulate quantum-like networks in the simulation of emergent adaptive behavior, such as network sync…☆13Updated last month
- High-performance tokenized language data-loader for Python C++ extension☆13Updated 11 months ago
- Automatic differentiation with uarray/unumpy.☆16Updated 4 years ago
- List of awesome JAX resources☆13Updated 2 years ago
- numerical solution of the Chapman-Kolmogorov equation / Fokker-Planck equation☆9Updated 3 years ago
- Numerically Solving Parametric Families of High-Dimensional Kolmogorov Partial Differential Equations via Deep Learning (NeurIPS 2020)☆22Updated 2 years ago
- Libraries for Scientific Computing☆10Updated 6 years ago
- Code for our ICLR Trustworthy ML 2020 workshop paper "Improved Image Wasserstein Attacks and Defenses"☆14Updated 5 years ago
- Functional matrix factorization via Bayesian tensor filtering☆13Updated 2 years ago
- Code to estimate models in epidemiology☆9Updated 2 years ago
- Python functions for orthogonal polynomials and (real, 2D, orthonormal) spherical harmonics☆10Updated last year
- A Catlab-compatible implementation of acsets in python.☆12Updated last year
- Building on the MLFlow toolset this project aims to extend the functionality for MLFlow, increase the automation and therefore reduce the…☆14Updated 2 years ago
- Automatic generation of reviews of scientific papers☆31Updated 3 months ago
- Bonn Lean course for winter 24/25☆31Updated 6 months ago
- ☆13Updated 2 years ago
- An introduction to theorem proving in Lean for the impatient.☆18Updated 3 months ago
- Universal Python binding for the LMDB 'Lightning' Database☆13Updated 7 years ago
- Tutorials for onboarding of the GNN Tracking project☆10Updated last week
- Network inference by fusing data from diverse distributions☆14Updated 8 years ago
- A simple python package for graph theory that supports multi-edges, hyper-edges, looped-edges and every other combination of these.☆14Updated 6 years ago
- This repo provides code and data to reproduce the results in the paper for "Electron Transfer Rules of Minerals under Pressure informed b…☆10Updated 2 years ago
- Code for the 2-simplicial Transformer paper☆21Updated 5 years ago
- Isomorphisms of quiver representations applied to neural networks.☆16Updated 11 months ago
- The Union of Intersections Framework in Python☆14Updated this week
- Easily serialize dataclasses to and from tensors (PyTorch, NumPy)☆18Updated 4 years ago
- Telegram-bot for NLP/RL courses☆11Updated 2 years ago