Alternatives and similar repositories for Lens_Resources

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

• ToposInstitute / poly
  ☆119Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆121Updated last year
• DavidJaz / DynamicalSystemsBook
  ☆51Updated 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
• vcvpaiva / DialecticaCategories
  A place to collect work on dialectica categories.
  ☆28Updated 2 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
• emilyriehl / yoneda
  comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
  ☆70Updated last year
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆20Updated 2 months 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
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 3 years ago
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆114Updated this week
• conal / Collaboration
  Play/learn/work with me
  ☆110Updated last week
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated last year
• mattecapu / categorical-systems-theory
  ☆44Updated 5 months ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆36Updated last month
• homotopy-io / homotopy-webclient
  ☆27Updated last year
• statusfailed / numeric-optics-python
  ☆27Updated 3 years ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated 3 months ago
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆47Updated 4 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆44Updated 5 years ago
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆81Updated 2 years ago
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆60Updated 4 years ago
• rzk-lang / sHoTT
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆52Updated 3 weeks ago
• jaalonso / Lecturas_GLC
  Readings on computational logic, interactive theorem proving and functional programming.
  ☆82Updated this week
• b-mehta / topos
  Topos theory in lean
  ☆64Updated 4 years ago
• argumentcomputer / LSpec
  A Testing Framework for Lean
  ☆62Updated last week
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆101Updated 2 months ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• Ebanflo42 / Persistence
  A topological data analysis library for Haskell
  ☆29Updated 4 years ago