choener / ADPfusionLinks
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
Sorting:
- Monadic Constraint Programming framework☆28Updated 7 years ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- A Haskell probabilistic programming library.☆19Updated last month
- ☆48Updated last year
- Tutorial series introducing Agda to the people at BCAM☆26Updated 3 years ago
- A formalization of ML kernel languages☆18Updated last week
- Mathematical stories☆13Updated 4 years ago
- Automated theorem prover for a linear logic-based calculus for molecular biology.☆12Updated 2 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆38Updated this week
- Lean4 port of Arduino balance car controller☆44Updated 4 years ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 3 years ago
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆15Updated 2 years ago
- Analytic sampler framework for algebraic data types☆16Updated 2 years ago
- ☆23Updated 3 years ago
- Julia embedded in Haskell☆52Updated 6 months ago
- Bioinformatics pipelines with Haskell and Shake☆56Updated 5 years ago
- An equational theorem prover based on Knuth-Bendix completion☆52Updated 2 months ago
- Constraint Handling Rules☆16Updated 9 months ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Agda category theory library for denotational design☆51Updated last year
- Relational version of parsing with derivatives code☆43Updated 12 years ago
- Reverse-mode automatic differentiation with delimited continuations☆15Updated last year
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Updated last year
- Scientific workflow management☆51Updated 2 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- Two-Level Type Theory☆28Updated 5 years ago
- ☆14Updated 8 years ago