Alternatives and similar repositories for Persistence:

Users that are interested in Persistence are comparing it to the libraries listed below

• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated this week
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago
• gebner / hott3
  HoTT in Lean 3
  ☆79Updated 4 years ago
• brunjlar / protop
  topos programming
  ☆31Updated 6 years ago
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆49Updated last year
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆78Updated last year
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• emilypi / group-theory
  The theory of groups
  ☆76Updated last year
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆26Updated 3 years ago
• emilyriehl / yoneda
  comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
  ☆61Updated 5 months ago
• konn / sdg-agda
  Synthetic Differential Geometry in Agda
  ☆12Updated 10 years ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated 6 months ago
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆89Updated 6 years ago
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 3 years ago
• felixwellen / DCHoTT-Agda
  Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
  ☆53Updated 2 years ago
• jdoughertyii / hott-species
  Combinatorial species in HoTT
  ☆12Updated 9 years ago
• jtobin / deanie
  An embedded probabilistic programming language.
  ☆34Updated 8 years ago
• avigad / arwm
  Automated Reasoning for the Working Mathematician
  ☆11Updated 5 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆77Updated 3 years ago
• math-comp / Coq-Combi
  Algebraic Combinatorics in Coq
  ☆38Updated 2 months ago
• ajknapp / accelerate-ad
  Combinatory automatic differentiation in Haskell for heterogeneous computing.
  ☆22Updated 6 years ago
• DavidJaz / DynamicalSystemsBook
  ☆47Updated 10 months ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆39Updated 3 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆56Updated last month
• abarbu / haskell-torch
  Practical Deep Learning in Haskell now!
  ☆50Updated 2 years ago
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆53Updated last year
• mr-ohman / logrel-mltt
  A Logical Relation for Martin-Löf Type Theory in Agda
  ☆49Updated 6 months ago
• FFaissole / Valuations
  Synthetic Topology in Homotopy Type Theory for probabilstic programming
  ☆12Updated 7 years ago
• mikeshulman / cohesivett
  Cohesive type theory
  ☆19Updated 3 years ago