nushio3 / Paraiso
a Parallel Integration Scheme Organizer for partial differential equations solvers
☆49Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for Paraiso
- MPI bindings for Haskell☆46Updated last year
- haskell bindings for blas and lapack☆49Updated 6 years ago
- A support vector machine implemented in Haskell.☆33Updated 13 years ago
- DEPRECATED: Accelerate backend for NVIDIA GPUs☆57Updated 7 years ago
- The Parser Generator for Haskell☆93Updated 9 years ago
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- Haskell bindings to the LLVM compiler infrastructure project.☆104Updated 4 years ago
- An implementation of Functional Reactive Programming☆41Updated 9 years ago
- A multi-method simulation library☆79Updated 4 months ago
- ☆35Updated 12 years ago
- Numerical computation in native Haskell☆88Updated 4 years ago
- QFeldspar: a QDSL front-end for MiniFeldspar☆14Updated 9 years ago
- A Genetic Algorithm library in Haskell☆20Updated 6 years ago
- Disciplined Convex Programming in Haskell☆22Updated 7 months ago
- A Computer Algebra System written in and for Haskell☆26Updated 8 years ago
- Haskell implementations of various ML algorithms.☆57Updated 10 years ago
- Multidimensional arrays and simple tensor computations☆38Updated 7 months ago
- A type-checker for Haskell with integer constraints☆40Updated 9 years ago
- Haskell FFI bindings to CUDA☆76Updated 11 months ago
- ☆124Updated 11 months ago
- Haskell to Javascript compiler (via GHC)☆20Updated 4 years ago
- High performance, regular, shape polymorphic parallel arrays.☆137Updated 8 months ago
- Epic - a Supercombinator Compiler☆65Updated 9 years ago
- A wrapper program around cabal and cabal-install that maintains sandboxed build environments.☆149Updated 9 years ago
- Alternative Core language for GHC plugins☆39Updated 8 years ago
- Mutable hash tables for Haskell, in the ST monad☆125Updated last year
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆56Updated 13 years ago
- A class for types that can be converted to a hash value☆103Updated this week