Ebanflo42 / Persistence
A topological data analysis library for Haskell
☆28Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for Persistence
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- Multidimensional arrays and simple tensor computations☆38Updated 7 months ago
- ☆44Updated last year
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- The theory of algebraic graphs formalised in Agda☆87Updated 6 years ago
- An experimental category theory library for Lean☆47Updated last year
- topos programming☆31Updated 6 years ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- Practical Deep Learning in Haskell now!☆50Updated 2 years ago
- What I wish I knew when learning HoTT☆53Updated 5 years ago
- Categorical logic from a categorical point of view☆75Updated last year
- Purely-functional, coordinate-free linear algebra☆26Updated 3 months ago
- HoTT in Lean 3☆75Updated 4 years ago
- An embedded probabilistic programming language.☆34Updated 7 years ago
- Finite field and algebraic extension field arithmetic☆50Updated 9 months ago
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆42Updated 2 weeks ago
- Haskell library of algebraic topology☆23Updated 13 years ago
- The theory of groups☆75Updated last year
- Many-dimensional type-safe numeric ops☆46Updated 2 years ago
- Effective Algebraic Topology in Haskell☆85Updated last month
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆56Updated 4 years ago
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆21Updated 6 years ago
- Synthetic Differential Geometry in Agda☆12Updated 9 years ago
- A non-interactive proof assistant using the Haskell type system☆35Updated 4 years ago
- ☆42Updated 5 months ago
- being the materials for Summer 2013's course☆110Updated last year
- Source for personal blog.☆77Updated this week
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆38Updated 2 years ago
- haskell bindings for blas and lapack☆49Updated 6 years ago