Alternatives and similar repositories for tangles

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

• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆183Updated last year
• JonathanLorimer / conceptual-mathematics
  Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics
  ☆29Updated 3 years ago
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆125Updated 4 years ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆268Updated last week
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆51Updated 2 years ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated last year
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆81Updated 2 years ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆42Updated 3 weeks ago
• conal / Collaboration
  Play/learn/work with me
  ☆113Updated 2 months ago
• kmill / lean4-raytracer
  A simple raytracer written in Lean 4
  ☆143Updated last year
• plclub / hs-to-coq
  Convert Haskell source code to Coq source code.
  ☆93Updated 7 months ago
• felixwellen / DCHoTT-Agda
  Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
  ☆57Updated 3 years ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆199Updated 2 months ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆322Updated 7 months ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆132Updated 5 months ago
• HoTT / EPIT-2020
  EPIT 2020 - Spring School on Homotopy Type Theory
  ☆110Updated 4 years ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆283Updated this week
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆63Updated 6 months ago
• statebox / cql
  CQL: Categorical Query Language implementation in Haskell
  ☆182Updated 2 years ago
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆371Updated last year
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆91Updated 7 years ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆124Updated last year
• bolt12 / tymfgg-pearl
  Type Your Matrices For Great Good
  ☆29Updated 5 years ago
• UniMath / Schools
  ☆94Updated 9 months ago
• ualib / agda-algebras
  The Agda Universal Algebra Library (html docs available at the url below)
  ☆42Updated last month
• ToposInstitute / poly
  ☆126Updated last year
• CategoryTheoryArchive / archive
  A digital archive of category theory papers.
  ☆34Updated 2 weeks ago
• rzk-lang / rzk
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆261Updated 3 weeks ago
• andrejbauer / notes-on-realizability
  Lecture notes on realizability
  ☆75Updated 11 months ago
• conal / felix
  Agda category theory library for denotational design
  ☆56Updated last week