bgavran / Lens_Resources
Theory and Applications of Lenses and Optics
☆52Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for Lens_Resources
- PhD course on Functional Programming and Climate Impact Research☆48Updated 5 months ago
- A Haskell probabilistic programming library.☆16Updated this week
- ☆109Updated 3 months ago
- ☆42Updated 5 months ago
- Accelerated machine learning with dependent types☆76Updated 3 weeks ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆60Updated 3 weeks ago
- Effective Algebraic Topology in Haskell☆85Updated last month
- Fast equality saturation in Haskell☆76Updated 6 months ago
- A collaborative environment for formal, interoperable, conceptual modeling☆29Updated this week
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆37Updated 2 years ago
- An interactive theorem prover for string diagrams☆108Updated 2 weeks ago
- 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
- Ground Zero: Lean 4 HoTT Library☆45Updated 3 weeks ago
- A monadic library for symbolic evaluation☆54Updated this week
- Schemes in Lean (v2)☆42Updated 4 years ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 2 years ago
- Topos theory in lean☆56Updated 3 years ago
- A work-in-progress core language for Agda, in Agda☆41Updated this week
- An experimental category theory library for Lean☆47Updated last year
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆45Updated last month
- ☆23Updated 2 years ago
- Very controlled natural language tactics for Lean☆61Updated 9 months ago
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆23Updated 4 months ago
- Datatypes as quotients of polynomial functors☆34Updated 4 years ago
- ☆27Updated 6 months ago
- A repository for material from the reading group on NbE☆17Updated last year
- A non-interactive proof assistant using the Haskell type system☆35Updated 4 years ago
- The theory of algebraic graphs formalised in Agda☆87Updated 6 years ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated 8 months ago
- Play/learn/work with me☆95Updated 3 months ago