arquicanedo / graph2sheaves
Sheaves library for graph abstractions based on NetworkX
☆14Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for graph2sheaves
- Julia package for learning cellular sheaf Laplacians☆16Updated 3 years 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
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆24Updated 3 weeks ago
- Learning Algebraic Varieties from Samples☆24Updated 10 months ago
- A toolkit for higher-dimensional diagram rewriting.☆15Updated 2 years ago
- ☆23Updated 2 years ago
- egraph <-> json☆12Updated last month
- TARDIS: Topological Algorithms for Robust DIscovery of Singularities☆39Updated last year
- Theory and Applications of Lenses and Optics☆53Updated 2 years ago
- A topological data analysis library for Haskell☆29Updated 3 years ago
- Deposited packages of the homalg project☆12Updated this week
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆11Updated last year
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- A simplicial complex and hypergraph visualization tool similar to Graphviz.☆38Updated 5 years ago
- A simple Python 2.7 module for computing local and relative simplicial homology☆12Updated last year
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆22Updated this week
- Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]☆28Updated 3 months ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆26Updated last week
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆33Updated 11 years ago
- M4 algebraic geometry course in Lean☆58Updated 4 years ago
- An experimental Agda kernel for Jupyter☆24Updated 2 years ago
- Probabilistic programming system for fast and exact symbolic inference☆76Updated 4 months ago
- A list of works and resources about double category theory, with a particular focus on applications.☆24Updated 2 years ago
- Certified Machine Learning☆40Updated 3 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆19Updated 4 years ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆80Updated last year
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆11Updated 3 years ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- A collaborative environment for formal, interoperable, conceptual modeling☆29Updated this week