VMatthijs / CHADLinks
☆21Updated 3 years ago
Alternatives and similar repositories for CHAD
Users that are interested in CHAD are comparing it to the libraries listed below
Sorting:
- A Haskell probabilistic programming library.☆19Updated 2 months ago
- ☆49Updated last year
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆38Updated this week
- A place to collect work on dialectica categories.☆26Updated last week
- Coordinate-free hypersurfaces as Haskell types☆41Updated 3 months ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- Fast equality saturation in Haskell☆85Updated last week
- Accelerated machine learning with dependent types☆97Updated this week
- Theory and Applications of Lenses and Optics☆55Updated 3 years ago
- Agda category theory library for denotational design☆51Updated last year
- A DSL for the internal language of a topos☆64Updated 2 weeks ago
- Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality☆54Updated 3 years ago
- A toolkit for enforcing logical specifications on neural networks☆101Updated this week
- Agda bindings to SMT-LIB2 compatible solvers.☆100Updated 9 months ago
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆27Updated 8 months ago
- WIP collections library for Lean 4☆32Updated 2 months ago
- Categorical logic from a categorical point of view☆80Updated last year
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Updated last year
- The theory of algebraic graphs formalised in Agda☆90Updated 7 years ago
- An experimental category theory library for Lean☆51Updated last year
- PhD course on Functional Programming and Climate Impact Research☆50Updated 8 months ago
- A geometric algebra implementation in Haskell☆31Updated 4 years ago
- A formalization of ML kernel languages☆19Updated this week
- A monadic library for symbolic evaluation☆67Updated this week
- Categorical Logic Notes☆79Updated 3 years ago
- Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…☆30Updated last year
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆27Updated last year
- ☆117Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated last month
- Analytic sampler framework for algebraic data types☆16Updated 2 years ago