Alternatives and similar repositories for Lens_Resources

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

• ToposInstitute / poly
  ☆117Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆119Updated 9 months ago
• mattecapu / awesome-double-categories
  A list of works and resources about double category theory, with a particular focus on applications.
  ☆30Updated 2 years ago
• DavidJaz / DynamicalSystemsBook
  ☆49Updated last year
• mattecapu / categorical-systems-theory
  ☆43Updated 3 months ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆91Updated 10 months ago
• homotopy-io / homotopy-webclient
  ☆27Updated last year
• jaalonso / Lecturas_GLC
  Readings on computational logic, interactive theorem proving and functional programming.
  ☆80Updated this week
• OUPL / MLCert
  Certified Machine Learning
  ☆41Updated 4 years ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆65Updated 2 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
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆52Updated last year
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆19Updated 3 months ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆97Updated this week
• conal / Collaboration
  Play/learn/work with me
  ☆106Updated 2 months ago
• statusfailed / numeric-optics-python
  ☆27Updated 3 years ago
• vcvpaiva / DialecticaCategories
  A place to collect work on dialectica categories.
  ☆26Updated 3 weeks ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆26Updated 3 years ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆32Updated 7 months ago
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆60Updated 4 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 5 years ago
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆107Updated this week
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆92Updated 10 months ago
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆80Updated last year
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated 3 months ago
• leanprover / fp-lean
  Functional Programming in Lean
  ☆101Updated this week
• digama0 / lean-type-theory
  LaTeX code for a paper on lean's type theory
  ☆141Updated 3 years ago