Alternatives and similar repositories for Lens_Resources

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

• ToposInstitute / poly
  ☆125Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆124Updated last year
• mattecapu / awesome-double-categories
  A list of works and resources about double category theory, with a particular focus on applications.
  ☆30Updated 3 years ago
• DavidJaz / DynamicalSystemsBook
  ☆51Updated last year
• mattecapu / categorical-systems-theory
  ☆44Updated 8 months ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated last year
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆21Updated 3 weeks 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
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆121Updated this week
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆51Updated 2 years ago
• vcvpaiva / DialecticaCategories
  A place to collect work on dialectica categories.
  ☆29Updated 2 months ago
• emilyriehl / ReintroductionToProofs
  A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.
  ☆46Updated last week
• jaalonso / Lecturas_GLC
  Readings on computational logic, interactive theorem proving and functional programming.
  ☆84Updated last week
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆49Updated 4 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆33Updated 11 years ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆101Updated last week
• statusfailed / numeric-optics-python
  ☆28Updated 3 years ago
• teorth / symmetric_project
  ☆93Updated 2 years ago
• conal / Collaboration
  Play/learn/work with me
  ☆113Updated last month
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.
  ☆42Updated this week
• dwrensha / lean4-maze
  maze game encoded in Lean 4 syntax
  ☆67Updated 6 months ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆66Updated last year
• homotopy-io / homotopy-webclient
  ☆27Updated last year
• gebner / hott3
  HoTT in Lean 3
  ☆82Updated 5 years ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated 5 months ago
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆66Updated 4 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆44Updated 5 years ago
• statebox / cql
  CQL: Categorical Query Language implementation in Haskell
  ☆182Updated 2 years ago
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆132Updated 5 months ago