bgavran / Lens_Resources
Theory and Applications of Lenses and Optics
☆53Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for Lens_Resources
- ☆109Updated 4 months ago
- ☆42Updated 6 months ago
- An interactive theorem prover for string diagrams☆108Updated 3 weeks ago
- Accelerated machine learning with dependent types☆79Updated this week
- ☆35Updated 4 months ago
- A Haskell probabilistic programming library.☆17Updated 2 weeks ago
- A collaborative environment for formal, interoperable, conceptual modeling☆29Updated this week
- ☆23Updated 2 years ago
- An experimental category theory library for Lean☆47Updated last year
- Ground Zero: Lean 4 HoTT Library☆45Updated last month
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated last year
- Categorical logic from a categorical point of view☆76Updated last year
- Effective Algebraic Topology in Haskell☆85Updated 2 months ago
- Topos theory in lean☆56Updated 3 years ago
- PhD course on Functional Programming and Climate Impact Research☆48Updated this week
- Very controlled natural language tactics for Lean☆61Updated 9 months ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆45Updated last month
- The theory of algebraic graphs formalised in Agda☆87Updated 6 years ago
- Agda category theory library for denotational design☆48Updated 5 months ago
- A toolkit for higher-dimensional diagram rewriting.☆15Updated 2 years ago
- A work-in-progress core language for Agda, in Agda☆41Updated 2 weeks ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆60Updated last month
- Tutorial series introducing Agda to the people at BCAM☆26Updated 2 years ago
- HoTT in Lean 3☆75Updated 4 years ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆123Updated 2 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆83Updated last year
- A DSL for the internal language of a topos☆61Updated 7 months ago
- A Testing Framework for Lean☆44Updated last month
- ☆26Updated last month