bjpop / haskell-mpi
MPI bindings for Haskell
☆46Updated last year
Related projects ⓘ
Alternatives and complementary repositories for haskell-mpi
- Haskell distributed parallel Haskell☆38Updated 7 years ago
- Obsidian Language Repository☆40Updated 6 years ago
- An implementation of Functional Reactive Programming☆41Updated 9 years ago
- Haskell bindings to the LLVM compiler infrastructure project.☆105Updated 4 years ago
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- ☆124Updated 11 months ago
- haskell bindings for blas and lapack☆49Updated 6 years ago
- DEPRECATED: Accelerate backend for NVIDIA GPUs☆57Updated 7 years ago
- Multidimensional arrays and simple tensor computations☆38Updated 7 months ago
- a Parallel Integration Scheme Organizer for partial differential equations solvers☆49Updated 8 years ago
- Accepted papers for ICFP 2015☆45Updated 8 years ago
- Haskell FFI bindings to CUDA☆75Updated last year
- Units of measure as a GHC typechecker plugin☆30Updated 2 years ago
- A type-checker for Haskell with integer constraints☆40Updated 9 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated last year
- Alternative Core language for GHC plugins☆39Updated 8 years ago
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆25Updated 6 years ago
- A categorical framework for circuit construction☆30Updated 8 years ago
- lazy continued fractions☆18Updated 9 years ago
- Haskell FFI to libclang☆58Updated 7 years ago
- Symbolic logic expressions☆14Updated 4 years ago
- A talk on type-generic FFT in Haskell☆45Updated 3 years ago
- Scrap Your Boilerplate generic programming library in Haskell☆44Updated last year
- ☆35Updated 12 years ago
- Efficient union and equivalence testing of sets.☆30Updated 5 years ago
- playground for working with succinct data structures☆94Updated 9 years ago
- Embedded C code generation DSL for Haskell.☆28Updated 5 years ago
- Summer school on programming in Agda☆68Updated last year