davidsd / hyperionLinks
A Haskell framework for running concurrent computations on an HPC cluster.
☆13Updated 2 months ago
Alternatives and similar repositories for hyperion
Users that are interested in hyperion are comparing it to the libraries listed below
Sorting:
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- Moved to Haskell.org GitLab.☆61Updated 7 months ago
- Library to support efficient compilation of large records (linear in the number of record fields)☆51Updated last month
- Set breakpoints using a GHC plugin☆49Updated 4 months ago
- Automatically generate Haskell bindings from C header files☆61Updated this week
- A tool suite to aid Haskell development using `cabal-install`☆90Updated 6 months ago
- Haskell library for semigroup actions and torsors☆64Updated 10 months ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated this week
- Inspection Testing for Haskell☆189Updated 2 months ago
- Generates a references DB from .hie files☆68Updated 4 months ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated last month
- Pastebin service in haskell☆32Updated last year
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 4 months ago
- Effects libraries in Haskell☆71Updated 2 years ago
- ☆31Updated 4 years ago
- Visualise eventlog events as a static webpage☆72Updated 6 months ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated 5 months ago
- First-class type families☆90Updated last month
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆127Updated last year
- Named parameters (keyword arguments) for Haskell☆98Updated 9 months ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆97Updated 3 months ago
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆43Updated last year
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- ☆80Updated 3 years ago
- Example of using Yampa and GHC Wasm backend to create a simple web app.☆19Updated 2 years ago
- Fast Haskell RPC☆30Updated last month
- Fast equality saturation in Haskell☆92Updated this week
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆76Updated 3 months ago
- A community-driven collection of documentation for Haskell error messages and warnings☆106Updated 2 months ago
- ☆36Updated 4 years ago