AccelerateHS / accelerate
Embedded language for high-performance array computations
☆913Updated last month
Alternatives and similar repositories for accelerate:
Users that are interested in accelerate are comparing it to the libraries listed below
- Linear algebra and numerical computation☆389Updated 8 months ago
- Automatic Differentiation☆374Updated 4 months ago
- Liquid Types For Haskell☆1,226Updated this week
- Compiling to Categories☆446Updated last year
- Efficient Haskell Arrays featuring Parallel computation☆385Updated last month
- Algebraic graphs☆736Updated 9 months ago
- Haskell bindings for LLVM☆516Updated 7 months ago
- Industrial-strength monadic parser combinator library☆936Updated last month
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,033Updated last year
- Type safe interface for working in subcategories of Hask☆420Updated 5 years ago
- A streaming data library☆909Updated last week
- A fast, flexible, fused effect system for Haskell☆648Updated last month
- A library for probabilistic programming in Haskell.☆423Updated this week
- Cloud Haskell core libraries☆720Updated this week
- A fast Haskell library for parsing ByteStrings☆519Updated 2 months ago
- higher-order, no-boilerplate monads☆1,041Updated 2 weeks ago
- An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .☆373Updated last month
- Shell programming, Haskell style☆949Updated 9 months ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆765Updated last month
- Proposed compiler and language changes for GHC and GHC/Haskell☆692Updated 2 months ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆604Updated 3 weeks ago
- Modern and extensible testing framework for Haskell☆647Updated this week
- A prototype successor to Idris☆539Updated 5 years ago
- A powerful but simple library for measuring the performance of Haskell code.☆506Updated 4 months ago
- Functional Reactive Programming domain-specific language for efficient hybrid systems☆453Updated this week
- A dependently typed programming language, a successor to Idris☆900Updated 4 years ago
- A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, pa…☆634Updated 3 years ago
- Release with confidence, state-of-the-art property testing for Haskell.☆680Updated last month
- Very low feature GHCi based IDE☆1,150Updated last year
- hpack: A modern format for Haskell packages☆637Updated last week