tmcdonell / cuda
Haskell FFI bindings to CUDA
☆76Updated this week
Alternatives and similar repositories for cuda:
Users that are interested in cuda are comparing it to the libraries listed below
- Drafts, notes and resources for adding linear typing to GHC.☆77Updated 4 years ago
- High performance, regular, shape polymorphic parallel arrays.☆140Updated 3 months ago
- A port of Google's word2vec to Haskell☆26Updated 8 years ago
- Pre-processor for .hsc files☆41Updated last month
- A class for types that can be converted to a hash value☆104Updated last month
- Generic random generators☆81Updated 2 years ago
- An implementation of Google's Protocol Buffers in Haskell.☆96Updated 3 years ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆53Updated last year
- A hip inductive theorem prover!☆89Updated 3 years ago
- Many-dimensional type-safe numeric ops☆46Updated 3 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Examples for the Accelerate language☆69Updated 4 years ago
- Zippers based on lenses and traversals☆39Updated last year
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- Hopefully verifiable code generation in GHC☆94Updated 7 years ago
- Priority Search Queues in three different flavors for Haskell☆66Updated 2 months ago
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆162Updated 4 years ago
- Some useful control operators for looping☆48Updated 5 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 8 months ago
- haskell bindings for blas and lapack☆49Updated 7 years ago
- Tiny type-checker with dependent types☆77Updated 11 years ago
- haskell memory☆48Updated last year
- playground for working with succinct data structures☆97Updated 9 years ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆79Updated last month
- Scientific workflow management☆51Updated 2 years ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 7 years ago
- Mutable hash tables for Haskell, in the ST monad☆129Updated 2 months ago
- Matrix operations in 100% pure Haskell☆33Updated last year
- Tensors in Haskell☆40Updated 3 months ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆104Updated last month