bgavran / Lens_ResourcesLinks
Theory and Applications of Lenses and Optics
☆56Updated 3 years ago
Alternatives and similar repositories for Lens_Resources
Users that are interested in Lens_Resources are comparing it to the libraries listed below
Sorting:
- ☆122Updated last year
- A list of works and resources about double category theory, with a particular focus on applications.☆30Updated 3 years ago
- ☆51Updated last year
- An interactive theorem prover for string diagrams☆123Updated last year
- A place to collect work on dialectica categories.☆29Updated last month
- A Haskell probabilistic programming library.☆21Updated last month
- ☆44Updated 7 months ago
- An experimental category theory library for Lean☆51Updated 2 years ago
- Effective Algebraic Topology in Haskell☆90Updated last year
- Readings on computational logic, interactive theorem proving and functional programming.☆84Updated this week
- Certified Machine Learning☆41Updated 4 years ago
- ☆27Updated last year
- 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
- Accelerated machine learning with dependent types☆99Updated 3 months ago
- Play/learn/work with me☆112Updated this week
- A DSL for the internal language of a topos☆66Updated 4 months ago
- A toolkit for enforcing logical specifications on neural networks☆118Updated this week
- Git repository for the course Logika v računalništvu☆15Updated 3 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆66Updated 4 years ago
- Paper and talk☆55Updated 2 years ago
- PhD course on Functional Programming and Climate Impact Research☆50Updated 3 months ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆71Updated last year
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆50Updated 3 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated 7 months ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆38Updated last week
- Tutorial series introducing Agda to the people at BCAM☆27Updated 4 years ago
- Very controlled natural language tactics for Lean☆64Updated last year
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 3 years ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated last year
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆42Updated this week