IFCA-Advanced-Computing / opencl
Haskell high-level wrapper for OpenCL
☆70Updated 3 years ago
Alternatives and similar repositories for opencl:
Users that are interested in opencl are comparing it to the libraries listed below
- DEPRECATED: Accelerate backend for NVIDIA GPUs☆56Updated 7 years ago
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆57Updated 13 years ago
- Plover is a language for matrix algebra on embedded systems.☆47Updated 3 years ago
- MPI bindings for Haskell☆46Updated last year
- Examples for the Accelerate language☆68Updated 4 years ago
- A collection of different packages for CAS based data structures.☆107Updated 8 months ago
- Graph database in Haskell☆24Updated 8 years ago
- Obsidian Language Repository☆40Updated 6 years ago
- Haskell FFI bindings to CUDA☆75Updated last year
- Haskell distributed parallel Haskell☆37Updated 7 years ago
- playground for working with succinct data structures☆95Updated 9 years ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 7 years ago
- A talk on type-generic FFT in Haskell☆46Updated 3 years ago
- your dynamic optimization buddy☆27Updated 5 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆104Updated 2 months ago
- Coordinate-free hypersurfaces as Haskell types☆40Updated last year
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆48Updated 2 years ago
- Yer another array library☆41Updated 6 years ago
- Homotopy Type Theory proofs in Idris☆22Updated 5 years ago
- Many-dimensional type-safe numeric ops☆46Updated 3 years ago
- Haskell bindings to bgfx, a cross-platform, graphics API agnostic, "Bring Your Own Engine/Framework" style rendering library.☆32Updated 9 years ago
- The Haskell File System: A file system implementation in Haskell☆38Updated 9 years ago
- ☆13Updated 10 years ago
- A multi-method simulation library☆79Updated 7 months ago
- Utilities for working with OpenGL's GLSL shading language and vinyl records.☆30Updated 6 years ago
- From Haskell to Hardware via CCCs☆58Updated 8 years ago
- Complete raw OpenGL bindings for Haskell☆93Updated 10 months ago
- Haskell FFI to libclang☆58Updated 7 years ago
- An experimental native Haskell graph database☆60Updated 6 years ago
- A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS☆108Updated 7 years ago