tmcdonell / cuda
Haskell FFI bindings to CUDA
☆75Updated last year
Alternatives and similar repositories for cuda:
Users that are interested in cuda are comparing it to the libraries listed below
- Examples for the Accelerate language☆68Updated 4 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆76Updated 4 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆104Updated 2 months ago
- Generic random generators☆81Updated last year
- High performance, regular, shape polymorphic parallel arrays.☆139Updated last month
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆53Updated last year
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆56Updated 4 years ago
- Literature review of GHC's Core language, System FC☆66Updated 6 years ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆79Updated 4 months ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 7 months ago
- Hopefully verifiable code generation in GHC☆94Updated 7 years ago
- Monad Transformers and Classes☆77Updated 5 years ago
- Numerical computation in native Haskell☆90Updated 4 years ago
- Haskell-C++ Foreign Function Interface Generator☆141Updated last year
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆69Updated 4 months ago
- haskell bindings for blas and lapack☆49Updated 7 years ago
- A port of Google's word2vec to Haskell☆26Updated 8 years ago
- being the materials for Summer 2013's course☆112Updated last year
- ☆74Updated this week
- Pre-processor for .hsc files☆40Updated last month
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆163Updated 3 years ago
- Declare and access tuple fields with labels☆58Updated 6 years ago
- Fast binary serialization in Haskell☆110Updated 2 months ago
- constraint level if statements☆111Updated 7 years ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 7 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 9 months ago
- Generic parser combinators☆86Updated 4 months ago
- Mutable hash tables for Haskell, in the ST monad☆129Updated last month