Alternatives and similar repositories for haskell-mpi

Users that are interested in haskell-mpi are comparing it to the libraries listed below

• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 7 years ago
• chetant / LibClang
  Haskell FFI to libclang
  ☆58Updated 8 years ago
• PatrickMaier / HdpH
  Haskell distributed parallel Haskell
  ☆37Updated 8 years ago
• simonmar / monad-par
  ☆127Updated 2 years ago
• mpickering / icfp2015-papers
  Accepted papers for ICFP 2015
  ☆45Updated 9 years ago
• ekmett / fractions
  lazy continued fractions
  ☆19Updated 10 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆97Updated 10 years ago
• tmcdonell / cuda
  Haskell FFI bindings to CUDA
  ☆80Updated 4 months ago
• mgrabmueller / harpy
  Runtime code generation for x86 machine code
  ☆26Updated 2 years ago
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆51Updated 3 years ago
• ocramz / sparse-linear-algebra
  Numerical computation in native Haskell
  ☆91Updated 2 weeks ago
• ajhc / ajhc
  A fork of jhc. And also a Haskell compiler.
  ☆136Updated 6 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 14 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 9 months ago
• svenssonjoel / Obsidian
  Obsidian Language Repository
  ☆41Updated 7 years ago
• AccelerateHS / accelerate-cuda
  DEPRECATED: Accelerate backend for NVIDIA GPUs
  ☆56Updated 8 years ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆15Updated 5 years ago
• bos / llvm
  Haskell bindings to the LLVM compiler infrastructure project.
  ☆106Updated 5 years ago
• haskell-repa / repa
  High performance, regular, shape polymorphic parallel arrays.
  ☆144Updated last year
• idris-lang / idris-emptycg
  An empty code generator, to be used as a starting point for any new back ends.
  ☆51Updated 8 years ago
• IFCA-Advanced-Computing / opencl
  Haskell high-level wrapper for OpenCL
  ☆70Updated 4 years ago
• iu-parfunc / haskell_dsl_tour
  Examples of relevant technologies for implementing DSLs in Haskell.
  ☆15Updated 10 years ago
• pigworker / shonky
  being some experiments, working towards some equipment I wish I had
  ☆37Updated 9 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• albertoruiz / hTensor
  Multidimensional arrays and simple tensor computations
  ☆38Updated last year
• adamgundry / inch
  A type-checker for Haskell with integer constraints
  ☆42Updated 10 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆86Updated 7 years ago
• sweirich / trellys
  Automatically exported from code.google.com/p/trellys
  ☆47Updated 6 years ago
• FranckS / RingIdris
  Ring solver for Idris
  ☆20Updated 7 years ago
• tomahawkins / improve
  An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…
  ☆57Updated 14 years ago