choener / ADPfusion
Efficient, high-level dynamic programming
☆26Updated last year
Related projects: ⓘ
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆22Updated 3 weeks ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆19Updated 4 years ago
- ☆41Updated 4 months ago
- A Haskell probabilistic programming library.☆14Updated last week
- Monadic Constraint Programming framework☆26Updated 6 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆32Updated this week
- A geometric algebra implementation in Haskell☆28Updated 4 years ago
- Lean4 port of Arduino balance car controller☆44Updated 3 years ago
- Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.☆15Updated last year
- An embedded DSL for creating, composing, and using probability measures.☆37Updated 5 years ago
- Julia embedded in Haskell☆53Updated 5 years ago
- Formal topology (and some probability) in Coq☆32Updated 5 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- The MMT Language and System☆68Updated last month
- Some tools for provability logic☆36Updated 6 years ago
- Constraint Handling Rules☆14Updated 2 years ago
- A heuristic procedure for proving inequalities☆31Updated 6 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆38Updated 2 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆83Updated last year
- ☆44Updated last year
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 6 months ago
- Mathematical stories☆13Updated 3 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆48Updated 10 months ago
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- Brent's PhD thesis.☆63Updated 8 years ago
- Combinatorial species in HoTT☆12Updated 9 years ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 2 years ago
- A toolkit for higher-dimensional diagram rewriting.☆15Updated 2 years ago