DataHaskell / numeric-libs-benchmarksLinks
- An overview of Haskell numerical libraries
☆15Updated 8 years ago
Alternatives and similar repositories for numeric-libs-benchmarks
Users that are interested in numeric-libs-benchmarks are comparing it to the libraries listed below
Sorting:
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- Open records for Haskell☆22Updated 7 years ago
- phantom types☆38Updated 4 months ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 5 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated last year
- Auto-parallelizing Pure Functional Language☆27Updated 6 years ago
- mtl friendly exceptions☆51Updated 3 months ago
- Quiver stream processing library☆15Updated 8 years ago
- An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff☆24Updated 7 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Updated 4 years ago
- An reimplementation of the Statistics.Sample Haskell module using the foldl package☆21Updated last year
- ☆50Updated 6 months ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆69Updated 7 months ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 2 months ago
- haskell memory☆48Updated last year
- Units of measure as a GHC typechecker plugin☆30Updated 2 years ago
- Many-dimensional type-safe numeric ops☆46Updated 3 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Agda-style equational reasoning in Haskell☆53Updated last month
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- Concurrency for the pipes ecosystem☆44Updated 2 years ago
- Small implementation of OutsideIn(X) type checking algorithm