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
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 9 months ago
• conal / felix
  Agda category theory library for denotational design
  ☆51Updated last year
• jkoppel / ecta
  ☆35Updated last year
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• avigad / arwm
  Automated Reasoning for the Working Mathematician
  ☆11Updated 5 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆32Updated this week
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated last year
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆36Updated 7 years ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆48Updated 3 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆39Updated 4 years ago
• NoahStoryM / ctp
  Category Theory in Programming
  ☆12Updated 2 months ago
• leftaroundabout / dumb-cas
  A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
  ☆17Updated last year
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆26Updated 2 weeks ago
• anthonyywangmath / tikzsd
  A program for generating LaTeX TikZ code for string diagrams.
  ☆18Updated 4 years ago
• avigad / qpf
  Datatypes as quotients of polynomial functors
  ☆36Updated 5 years ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆52Updated 2 months ago
• ualib / agda-algebras
  The Agda Universal Algebra Library (html docs available at the url below)
  ☆33Updated 6 months ago
• iwilare / church-rosser
  A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…
  ☆27Updated 2 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• j-towns / flipper
  Reversible programming in Agda
  ☆12Updated 2 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• martinescardo / EffectfulForcing
  Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …
  ☆11Updated 3 years ago
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 6 years ago
• pa-ba / equivalence
  ☆12Updated last month
• rzrn / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated last year