MPI bindings for Haskell
☆46Apr 1, 2023Updated 3 years ago
Alternatives and similar repositories for haskell-mpi
Users that are interested in haskell-mpi are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 11 years ago
- A Parallel Haskell framework for particle-based Monte Carlo simulations☆13Apr 2, 2019Updated 7 years ago
- ☆10Jun 6, 2015Updated 11 years ago
- Example ITCH 4.1 parser in Haskell/Ragel/C99☆16May 23, 2012Updated 14 years ago
- A plugin for GHC to turn Haskell into a strict language☆27Aug 8, 2012Updated 14 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Binary streaming library for Postgres data pipelines☆18Oct 2, 2019Updated 7 years ago
- DEPRECATED: Accelerate backend for NVIDIA GPUs☆55Mar 31, 2017Updated 9 years ago
- ☆127Nov 29, 2023Updated 2 years ago
- ☆20Jan 7, 2021Updated 5 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- Precise description and operational execution of exotic contracts.☆36May 7, 2018Updated 8 years ago
- Some numerical optimization methods implemented in Haskell☆47Jun 24, 2020Updated 6 years ago
- Haskell distributed parallel Haskell☆37Aug 26, 2017Updated 9 years ago
- A Cryptol major mode for Emacs.☆14May 31, 2019Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Minimal ed25519 Haskell package, binding to the ref10 SUPERCOP implementation.☆22Jun 6, 2025Updated last year
- Model of baysig language in Haskell (minus estimate)☆15Jun 23, 2016Updated 10 years ago
- The Disco Discus Compiler☆176Feb 6, 2019Updated 7 years ago
- Verimag Polyhedra Library☆19Apr 11, 2025Updated last year
- A typed logic programming language embedded in Haskell☆50Mar 3, 2013Updated 13 years ago
- Deep evaluation of data structures without NFData☆10Jan 20, 2015Updated 11 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 5 years ago
- A Zookeeper backend for Cloud Haskell.☆13Sep 9, 2017Updated 9 years ago
- A Smarter QuickCheck☆102Aug 11, 2017Updated 9 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 4 years ago
- Webmachine inspired toolkit for building http applications and services.☆22Sep 13, 2015Updated 11 years ago
- The Elements of Statistical Learning in Haskell☆13Nov 29, 2017Updated 8 years ago
- All of `base` without the `Prelude` module☆44Jan 30, 2023Updated 3 years ago
- A natural transformation package☆16Jan 8, 2026Updated 9 months ago
- Play fast and loose with IEEE-754 rewrite RULES☆25Aug 1, 2015Updated 11 years ago
- Google Summer of Code 2012 project, GHCi for the web☆52Aug 20, 2012Updated 14 years ago
- Cloud Haskell core libraries☆751Updated this week
- Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar☆21May 4, 2015Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Base library for HoTT in Agda☆39Apr 2, 2019Updated 7 years ago
- VM and tracing JIT for Haskell (work in progress)☆80Oct 25, 2014Updated 11 years ago
- A faster date and time library based on time☆47Jun 23, 2026Updated 3 months ago
- Automatically make lenses from data structures implementing Generic☆26Feb 14, 2015Updated 11 years ago
- Knowledge of classical mechanics, written in haskell.☆14Feb 11, 2013Updated 13 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 15 years ago
- A distributed computing framework for Haskell☆349Oct 16, 2012Updated 13 years ago