tmcdonell / cuda
Haskell FFI bindings to CUDA
☆76Updated 10 months ago
Related projects: ⓘ
- An implementation of Google's Protocol Buffers in Haskell.☆96Updated 2 years ago
- Examples for the Accelerate language☆69Updated 4 years ago
- High performance, regular, shape polymorphic parallel arrays.☆134Updated 7 months ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 7 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆75Updated 4 years ago
- Matrix operations in 100% pure Haskell☆33Updated 9 months ago
- Many-dimensional type-safe numeric ops☆46Updated 2 years ago
- A port of Google's word2vec to Haskell☆26Updated 8 years ago
- Generic random generators☆81Updated last year
- Resource-AWare Feldspar☆36Updated 2 years ago
- Hopefully verifiable code generation in GHC☆94Updated 7 years ago
- haskell bindings for blas and lapack☆49Updated 6 years ago
- DEPRECATED: Accelerate backend for NVIDIA GPUs☆57Updated 7 years ago
- A talk on type-generic FFT in Haskell☆45Updated 2 years ago
- A hip inductive theorem prover!☆87Updated 2 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆121Updated last month
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆52Updated last year
- Source for personal blog.☆77Updated last week
- Haskell-C++ Foreign Function Interface Generator☆141Updated last year
- Scientific workflow management☆51Updated 2 years ago
- A monad for interfacing with external SAT solvers☆63Updated 3 months ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆68Updated last month
- Literature review of GHC's Core language, System FC☆67Updated 6 years ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆56Updated 3 years ago
- being the materials for Summer 2013's course☆110Updated last year
- playground for working with succinct data structures☆94Updated 8 years ago
- Obsidian Language Repository☆40Updated 6 years ago
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Updated 6 years ago
- Declare and access tuple fields with labels☆61Updated 5 years ago
- Monad Transformers and Classes☆78Updated 5 years ago