Alternatives and similar repositories for Lens_Resources

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

• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆120Updated 11 months ago
• ToposInstitute / poly
  ☆118Updated last year
• DavidJaz / DynamicalSystemsBook
  ☆50Updated last year
• mattecapu / awesome-double-categories
  A list of works and resources about double category theory, with a particular focus on applications.
  ☆30Updated 2 years ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated last year
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated 2 months ago
• mattecapu / categorical-systems-theory
  ☆43Updated 5 months ago
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆51Updated 2 years ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆110Updated this week
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆100Updated last month
• conal / Collaboration
  Play/learn/work with me
  ☆110Updated 3 weeks ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 3 years ago
• statusfailed / numeric-optics-python
  ☆27Updated 3 years ago
• tlringer / proof-demos
  Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic
  ☆38Updated 2 years ago
• emilyriehl / yoneda
  comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
  ☆68Updated 11 months ago
• homotopy-io / homotopy-webclient
  ☆27Updated last year
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆46Updated 4 years ago
• rzk-lang / sHoTT
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆51Updated last week
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆20Updated last month
• jaalonso / Lecturas_GLC
  Readings on computational logic, interactive theorem proving and functional programming.
  ☆81Updated this week
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆65Updated 3 years ago
• dwrensha / lean4-maze
  maze game encoded in Lean 4 syntax
  ☆61Updated 3 months ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆36Updated last month
• b-mehta / topos
  Topos theory in lean
  ☆64Updated 4 years ago
• rzrn / ground_zero
  Ground Zero: Lean 4 HoTT Library
  ☆70Updated last week
• vcvpaiva / DialecticaCategories
  A place to collect work on dialectica categories.
  ☆27Updated last month
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated 5 months ago
• statebox / cql
  CQL: Categorical Query Language implementation in Haskell
  ☆179Updated 2 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 5 years ago