Alternatives and similar repositories for homotopy-webclient

Users that are interested in homotopy-webclient are comparing it to the libraries listed below

• jamievicary / globular

  View on GitHub
  Globular
  ☆39Aug 22, 2018Updated 7 years ago
• oisdk / agda-ring-solver

  View on GitHub
  A fast, easy-to-use ring solver for agda with step-by-step solutions
  ☆40Mar 12, 2022Updated 3 years ago
• sorear / smetamath-rs

  View on GitHub
  sorear's Metamath system engine - version 3 Rust
  ☆25May 31, 2023Updated 2 years ago
• philzook58 / ad-lens

  View on GitHub
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆20Feb 7, 2020Updated 6 years ago
• ToposInstitute / polytt

  View on GitHub
  A type theory with native support for Polynomial Functors.
  ☆41Oct 8, 2023Updated 2 years ago
• emilyriehl / yoneda

  View on GitHub
  comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
  ☆74Feb 1, 2026Updated 2 weeks ago
• felixwellen / synthetic-geometry

  View on GitHub
  Synthetic geometry. Probably mostly algebraic geometry.
  ☆25Jan 22, 2024Updated 2 years ago
• homotopy-io / homotopy-rs

  View on GitHub
  A Rust/WASM implementation of homotopy.io
  ☆113Feb 8, 2026Updated last week
• rwbarton / lean-homotopy-theory

  View on GitHub
  A development of homotopy theory in the Lean formal theorem prover.
  ☆14Aug 27, 2020Updated 5 years ago
• koengit / intuit

  View on GitHub
  An automated theorem prover for intuitionistic propostional logic
  ☆14Sep 21, 2020Updated 5 years ago
• ianjauslin-rutgers / pythagoras4

  View on GitHub
  Many proofs of the Pythagoras theorem - Lean 4
  ☆10Dec 1, 2023Updated 2 years ago
• TOTBWF / coolttviz

  View on GitHub
  ☆23Sep 22, 2021Updated 4 years ago
• pinselimo / Pythas

  View on GitHub
  Import Haskell modules in Python as if they were native modules
  ☆12Mar 30, 2021Updated 4 years ago
• rzk-lang / sHoTT

  View on GitHub
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆57Feb 7, 2026Updated last week
• statusfailed / cartographer-string-diagrammatic-reasoning

  View on GitHub
  ☆44Dec 6, 2022Updated 3 years ago
• sorear / smm

  View on GitHub
  sorear's Metamath system engine
  ☆13May 5, 2016Updated 9 years ago
• L-TChen / FiniteSets

  View on GitHub
  Fintie Sets in Cubical Agda
  ☆12Aug 30, 2019Updated 6 years ago
• bollu / diffgeo

  View on GitHub
  A formalization of synthetic differential geometry in Coq using infinitesimal analysis
  ☆11Aug 29, 2021Updated 4 years ago
• apnelson1 / Matroid

  View on GitHub
  ☆13Updated this week
• blanchette / logical_verification_2019

  View on GitHub
  Repository for the course Logical Verification 2019–2020 at VU Amsterdam
  ☆13Dec 16, 2019Updated 6 years ago
• rahulc29 / realizability

  View on GitHub
  Experiments with Realizability in Univalent Type Theory
  ☆19Oct 21, 2024Updated last year
• jpfairbanks / SocialTheories.jl

  View on GitHub
  Theories of social science expressed in Catlab.jl formalisms
  ☆15Mar 21, 2021Updated 4 years ago
• mokus0 / polynomial

  View on GitHub
  Haskell library for manipulating and evaluating polynomials
  ☆20Feb 24, 2022Updated 3 years ago
• xgrommx / agda-ecosystem

  View on GitHub
  ☆32May 27, 2018Updated 7 years ago
• konn / sdg-agda

  View on GitHub
  Synthetic Differential Geometry in Agda
  ☆13Jan 14, 2015Updated 11 years ago
• b-mehta / unit-fractions

  View on GitHub
  ☆16Dec 3, 2023Updated 2 years ago
• xiw / arithcc

  View on GitHub
  ☆15Oct 21, 2020Updated 5 years ago
• gallais / agda-sizedIO

  View on GitHub
  IO using sized types and copatterns
  ☆36Apr 14, 2021Updated 4 years ago
• PetriNets / petrinets.github.io

  View on GitHub
  Petrinet.org interactive playground website
  ☆16Oct 17, 2019Updated 6 years ago
• koko-m / GoI-Visualiser

  View on GitHub
  A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.
  ☆15Oct 1, 2021Updated 4 years ago
• avigad / boole

  View on GitHub
  The Boole Interactive Reasoning Assistant
  ☆30May 9, 2014Updated 11 years ago
• calebh / dihash

  View on GitHub
  Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"
  ☆16Dec 29, 2025Updated last month
• AlgebraicJulia / DiagrammaticEquations.jl

  View on GitHub
  ☆16Jan 21, 2026Updated 3 weeks ago
• peterlefanulumsdaine / palmgren-archive

  View on GitHub
  Research material of Erik Palmgren (1963–2019)
  ☆21Apr 7, 2025Updated 10 months ago
• homalg-project / homalg_project

  View on GitHub
  Deposited packages of the homalg project
  ☆17Dec 23, 2025Updated last month
• karroffel / Idris2-Ocaml

  View on GitHub
  OCaml backend for Idris2
  ☆20Oct 12, 2020Updated 5 years ago
• limemloh / cubical-congruence

  View on GitHub
  Congruence Closure Procedure in Cubical Agda
  ☆19Aug 19, 2020Updated 5 years ago
• HoTT / HoTT-2019

  View on GitHub
  Conference on Homotopy Type Theory 2019
  ☆16Sep 18, 2019Updated 6 years ago
• opencompl / egg-tactic-code

  View on GitHub
  ☆16Jul 3, 2023Updated 2 years ago