AccelerateHS / accelerateLinks
Embedded language for high-performance array computations
☆947Updated last week
Alternatives and similar repositories for accelerate
Users that are interested in accelerate are comparing it to the libraries listed below
Sorting:
- Automatic Differentiation☆388Updated 2 weeks ago
- Linear algebra and numerical computation☆399Updated last year
- Liquid Types For Haskell☆1,288Updated this week
- Algebraic graphs☆752Updated 3 weeks ago
- Type safe interface for working in subcategories of Hask☆420Updated 6 years ago
- Functional Reactive Programming domain-specific language for efficient hybrid systems☆476Updated 11 months ago
- Compiling to Categories☆458Updated last year
- Haskell bindings for LLVM☆529Updated last year
- A library for probabilistic programming in Haskell.☆442Updated last week
- Industrial-strength monadic parser combinator library☆971Updated this week
- Efficient Haskell Arrays featuring Parallel computation☆408Updated 6 months ago
- A streaming data library☆923Updated 7 months ago
- A fast, flexible, fused effect system for Haskell☆667Updated last month
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,059Updated 7 months ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆706Updated last month
- Cloud Haskell core libraries☆739Updated 3 weeks ago
- Shake build system☆792Updated 2 weeks ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆792Updated 3 weeks ago
- An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .☆395Updated last week
- A prototype successor to Idris☆541Updated 6 years ago
- Experimental implementation of Cubical Type Theory☆597Updated 2 years ago
- High performance, concurrent functional programming abstractions☆909Updated 2 months ago
- A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, pa…☆634Updated 4 years ago
- A fast Haskell library for parsing ByteStrings☆527Updated last year
- A 2D charting library for haskell☆438Updated 3 weeks ago
- Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying val…☆1,102Updated 3 months ago
- Empire strikes back☆460Updated 2 years ago
- Software Foundations in Idris☆457Updated 6 years ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆265Updated this week
- higher-order, no-boilerplate monads☆1,076Updated 10 months ago