kb1dds / simplicialHomology
A simple Python 2.7 module for computing local and relative simplicial homology
☆12Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for simplicialHomology
- Learning Algebraic Varieties from Samples☆24Updated 10 months ago
- ☆23Updated 2 years ago
- A topological data analysis library for Haskell☆28Updated 3 years ago
- Sheaves library for graph abstractions based on NetworkX☆14Updated 5 years ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- A toolkit for higher-dimensional diagram rewriting.☆15Updated 2 years ago
- The MMT Language and System☆68Updated 3 months ago
- ☆13Updated 3 years ago
- Theory and Applications of Lenses and Optics☆52Updated 2 years ago
- A plugin for Coq that implements the call-by-name forcing translation☆12Updated 3 years ago
- ☆44Updated last year
- A system for computational category theory and applications☆35Updated 8 years ago
- A DSL for the internal language of a topos☆61Updated 7 months ago
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- ☆27Updated 6 months ago
- A heuristic procedure for proving inequalities☆32Updated 6 years ago
- CHomP -- Computation Homology Project software☆46Updated 8 months ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- ☆12Updated 2 years ago
- Python code for the post "Computing Homology"☆29Updated 2 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆50Updated last year
- ☆109Updated 3 months ago
- ☆27Updated 7 months ago
- TPTP linear logic version☆13Updated 4 years ago
- First-order automated theorem prover based on the tableau method☆12Updated 2 weeks ago
- Polynomial semantics of linear logic☆13Updated 6 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated last year