chrisnc / hvx
Disciplined Convex Programming in Haskell
☆22Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for hvx
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆21Updated 6 years ago
- Haskell bindings to ArrayFire☆60Updated 3 months ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆42Updated last year
- Multidimensional arrays and simple tensor computations☆38Updated 7 months ago
- simple interface to ghc's simd vector support☆23Updated 9 years ago
- Plover is a language for matrix algebra on embedded systems.☆47Updated 3 years ago
- haskell bindings for blas and lapack☆49Updated 6 years ago
- A categorical framework for circuit construction☆30Updated 8 years ago
- Painless general-purpose sampling.☆23Updated last week
- Experiments with haskell neural networks☆11Updated 9 years ago
- An embedded DSL for creating, composing, and using probability measures.☆37Updated 5 years ago
- Extended Kalman filtering in Haskell☆23Updated 6 years ago
- DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.☆26Updated 5 years ago
- Haskell library of algebraic topology☆23Updated 13 years ago
- Julia embedded in Haskell☆53Updated 5 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 4 years ago
- Numerical computation in native Haskell☆88Updated 4 years ago
- your dynamic optimization buddy☆27Updated 5 years ago
- State-space estimation algorithms and models☆26Updated 8 years ago
- DEPRECATED: Accelerate backend for NVIDIA GPUs☆57Updated 7 years ago
- Scrap Your Boilerplate generic programming library in Haskell☆44Updated last year
- haskell memory☆48Updated last year
- Haskell numerical ODE solvers☆14Updated 7 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 3 weeks ago
- making data science easy and safe with data frames in haskell☆27Updated 7 years ago
- Many-dimensional type-safe numeric ops☆46Updated 2 years ago
- Dependently typed convolutional neural networks☆34Updated 7 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 5 months ago
- Optional function arguments☆17Updated 2 years ago