choener / ADPfusion
Efficient, high-level dynamic programming
☆26Updated last year
Related projects ⓘ
Alternatives and complementary repositories for ADPfusion
- ☆42Updated 6 months ago
- A Haskell probabilistic programming library.☆17Updated 2 weeks ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆19Updated 4 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆56Updated 4 years ago
- Scientific workflow management☆51Updated 2 years ago
- Julia embedded in Haskell☆53Updated 5 years ago
- Monadic Constraint Programming framework☆28Updated 6 years ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 2 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 8 months ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆33Updated this week
- Some tools for provability logic☆36Updated 6 years ago
- Mathematical stories☆13Updated 3 years ago
- An embedded DSL for creating, composing, and using probability measures.☆37Updated 5 years ago
- Categorical logic from a categorical point of view☆76Updated last year
- Combinatorial species in HoTT☆12Updated 9 years ago
- Relational version of parsing with derivatives code☆42Updated 11 years ago
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- Constraint Handling Rules☆15Updated 2 months ago
- ☆44Updated last year
- Dependently Typed Metaprogramming Exercises☆22Updated 6 years ago
- An equational theorem prover based on Knuth-Bendix completion☆49Updated 5 months ago
- Higher-order, higher-order automatic differentiation☆30Updated 4 years ago
- An embedded probabilistic programming language.☆34Updated 7 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 7 years ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- Multidimensional arrays and simple tensor computations☆38Updated 7 months ago
- Generation of abstract binding trees☆27Updated last month
- ☆28Updated 6 years ago