AndreaCensi / mcdp
☆13Updated this week
Related projects: ⓘ
- your dynamic optimization buddy☆27Updated 4 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆19Updated 4 years ago
- State-space estimation algorithms and models☆26Updated 8 years ago
- Polynomial semantics of linear logic☆13Updated 6 years ago
- An embedded DSL for creating, composing, and using probability measures.☆37Updated 5 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- ☆44Updated last year
- Plover is a language for matrix algebra on embedded systems.☆47Updated 3 years ago
- Some numerical optimization methods implemented in Haskell☆47Updated 4 years ago
- typesafe implementation of tensor algebra in Haskell☆13Updated 3 years ago
- Paper: The simple essence of automatic differentiation☆22Updated 5 years ago
- A geometric algebra implementation in Haskell☆28Updated 4 years ago
- library with a semiring class and some useful semirings☆11Updated 4 years ago
- Generalized Convolution and Efficient Language Recognition☆17Updated 5 years ago
- Haskell bindings for PicoSAT solver☆16Updated 4 years ago
- Symbolic logic expressions☆14Updated 4 years ago
- Mathematical stories☆13Updated 3 years ago
- topos programming☆31Updated 5 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Painless general-purpose sampling.☆23Updated 3 years ago
- DIY Markov Chains.☆23Updated 3 years ago
- An elegant implementation of discrete diffgeo in haskell☆33Updated 4 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Updated 5 years ago
- ☆35Updated 12 years ago
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- Dependently-typed structures for quantum physics in Idris☆13Updated 8 years ago
- Monadic Constraint Programming framework☆26Updated 6 years ago
- Web based opetopic editor☆34Updated 4 years ago
- Playing around with multicategories and operads☆16Updated 9 years ago