Alternatives and similar repositories for huygens

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

• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆23Updated last week
• lecopivo / HouLean
  Lean 4 as a scripting language in Houdini
  ☆20Updated last year
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 8 months ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆44Updated 11 months ago
• avigad / arwm
  Automated Reasoning for the Working Mathematician
  ☆11Updated 5 years ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• gebner / trepplein
  Lean type-checker written in Scala.
  ☆36Updated 3 years ago
• ToposInstitute / polytt
  A type theory with native support for Polynomial Functors.
  ☆39Updated last year
• agusakov / category-theory-game
  ☆16Updated 4 years ago
• uds-psl / coq-library-complexity
  ☆31Updated last year
• felixwellen / synthetic-geometry
  Synthetic geometry. Probably mostly algebraic geometry.
  ☆24Updated last year
• anthonyywangmath / tikzsd
  A program for generating LaTeX TikZ code for string diagrams.
  ☆18Updated 4 years ago
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆44Updated 4 years ago
• argumentcomputer / LSpec
  A Testing Framework for Lean
  ☆53Updated last month
• hide-kawabata / traf
  A proof tree viewer that works with Coq through Proof General
  ☆24Updated 4 years ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆57Updated 7 months ago
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated 10 months ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆39Updated 4 years ago
• math-comp / Abel
  A proof of Abel-Ruffini theorem.
  ☆29Updated 2 months ago
• nomeata / lean-calcify
  ☆30Updated 2 months ago
• awodey / joyal
  ☆15Updated 10 months ago
• imdea-software / fcsl-pcm
  Partial Commutative Monoids
  ☆28Updated last week
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• rocq-archive / zfc
  An encoding of Zermelo-Fraenkel Set Theory in Coq
  ☆23Updated 2 years ago
• benediktahrens / CT4P
  ☆34Updated 6 months ago
• RedPRL / algaett
  🦠 An experimental elaborator for dependent type theory using effects and handlers
  ☆36Updated last year
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• diracdeltafunk / SmallCategories
  A database of small finite categories
  ☆14Updated last year
• varkor / tangle
  A modern string diagram editor for the web.
  ☆25Updated 3 weeks ago