AccelerateHS / accelerate-cuda
DEPRECATED: Accelerate backend for NVIDIA GPUs
☆57Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for accelerate-cuda
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 7 years ago
- Haskell bindings for PicoSAT solver☆16Updated 4 years ago
- haskell bindings for blas and lapack☆49Updated 6 years ago
- Multidimensional arrays and simple tensor computations☆38Updated 7 months ago
- Disciplined Convex Programming in Haskell☆22Updated 8 months ago
- playing with recurrent neural networks☆28Updated 9 years ago
- Haskell implementations of various ML algorithms.☆57Updated 10 years ago
- Tensors in Haskell☆40Updated 3 weeks ago
- Numerical computation in native Haskell☆88Updated 4 years ago
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- Experiments with haskell neural networks☆11Updated 9 years ago
- Haskell FFI bindings to CUDA☆75Updated last year
- ☆54Updated 8 years ago
- Plover is a language for matrix algebra on embedded systems.☆47Updated 3 years ago
- Haskell distributed parallel Haskell☆38Updated 7 years ago
- Matrix operations in 100% pure Haskell☆33Updated 11 months ago
- Julia embedded in Haskell☆53Updated 5 years ago
- Brent's PhD thesis.☆63Updated 8 years ago
- This is the compiler for the Feldspar Language.☆22Updated 4 years ago
- Runtime code generation for x86 machine code☆25Updated last year
- An embedded DSL for creating, composing, and using probability measures.☆37Updated 5 years ago
- playground for working with succinct data structures☆94Updated 9 years ago
- simple interface to ghc's simd vector support☆23Updated 9 years ago
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆21Updated 7 years ago
- Hopefully verifiable code generation in GHC☆95Updated 7 years ago
- Accepted papers for ICFP 2015☆45Updated 8 years ago
- A hip inductive theorem prover!☆88Updated 3 years ago