kb1dds / simplicialHomology
A simple Python 2.7 module for computing local and relative simplicial homology
☆12Updated last year
Related projects ⓘ
Alternatives and complementary repositories for simplicialHomology
- ☆23Updated 2 years ago
- Learning Algebraic Varieties from Samples☆24Updated 10 months ago
- Sheaves library for graph abstractions based on NetworkX☆14Updated 5 years ago
- Theory and Applications of Lenses and Optics☆53Updated 2 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆33Updated this week
- Schemes in Lean (v2)☆42Updated 4 years ago
- A topological data analysis library for Haskell☆29Updated 3 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- ☆44Updated last year
- Theories of social science expressed in Catlab.jl formalisms☆15Updated 3 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- A Python module for (local) Poisson-Nijenhuis calculus on Poisson manifolds☆13Updated last month
- A system for computational category theory and applications☆35Updated 8 years ago
- ☆42Updated 6 months ago
- ☆13Updated 3 years ago
- ☆21Updated 2 years ago
- pandoc-like tool for symbolic regression expressions☆12Updated 8 months ago
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- Simplicial topology in Python☆33Updated 8 months ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 3 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆50Updated last year
- Code snippets accompanying the talk "Automatic Differentiation in Haskell."☆19Updated 4 years ago
- A toolkit for higher-dimensional diagram rewriting.☆15Updated 2 years ago
- ☆21Updated 2 years ago
- ☆12Updated 2 years ago
- Effective Algebraic Topology in Haskell☆86Updated 2 months ago
- A Lean 4 package for heavy numerical computations☆17Updated 2 years ago
- An embedded DSL for creating, composing, and using probability measures.☆37Updated 5 years ago
- Building dynamical systems compositionally☆66Updated 3 weeks ago
- Description and analysis of some mathematical/physics phenomena by using simulation☆17Updated 7 months ago