choener / ADPfusion
Efficient, high-level dynamic programming
☆27Updated last year
Alternatives and similar repositories for ADPfusion:
Users that are interested in ADPfusion are comparing it to the libraries listed below
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆23Updated last month
- A geometric algebra implementation in Haskell☆29Updated 4 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Categorical logic from a categorical point of view☆78Updated last year
- HoTT in Lean 3☆79Updated 4 years ago
- ☆47Updated 11 months ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 7 months ago
- A DSL for the internal language of a topos☆64Updated this week
- ☆23Updated 2 years ago
- Relational version of parsing with derivatives code☆42Updated 12 years ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- A multi-method simulation library☆80Updated 9 months ago
- Synthetic geometry. Probably mostly algebraic geometry.☆23Updated last year
- Simply Typed Lambda Calculus with de Bruijn indices☆12Updated last month
- Monadic Constraint Programming framework☆28Updated 6 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.☆17Updated 2 years ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 3 years ago
- Brent's PhD thesis.☆63Updated 9 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- Mathematical stories☆13Updated 4 years ago
- An equational theorem prover based on Knuth-Bendix completion☆50Updated 3 weeks ago
- Datatypes as quotients of polynomial functors☆35Updated 4 years ago
- The MMT Language and System☆72Updated 9 months ago
- A Haskell probabilistic programming library.☆19Updated last month
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆36Updated this week
- Reference type checker for the Lean theorem prover☆15Updated 7 years ago