HIPERFIT / accelerate-openclLinks
☆34Updated 13 years ago
Alternatives and similar repositories for accelerate-opencl
Users that are interested in accelerate-opencl are comparing it to the libraries listed below
Sorting:
- A collection of computational methods in science.☆12Updated 8 years ago
- DIY Markov Chains.☆25Updated 9 months ago
- Agda-style equational reasoning in Haskell☆54Updated 4 months ago
- Hopefully verifiable code generation in GHC☆94Updated 8 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 4 years ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 8 years ago
- Dependently typed convolutional neural networks☆35Updated 8 years ago
- Backpack examples repository☆14Updated 8 years ago
- Open records for Haskell☆22Updated 7 years ago
- A talk on type-generic FFT in Haskell☆46Updated 3 years ago
- A categorical framework for circuit construction☆31Updated 8 years ago
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Updated 7 years ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆25Updated 8 years ago
- A monad for interfacing with external SAT solvers☆64Updated 2 months ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated 2 years ago
- Haskell typechecker☆39Updated 6 years ago
- Some useful control operators for looping☆47Updated 5 years ago
- Quiver stream processing library☆15Updated 8 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- Haskell bindings to ArrayFire☆60Updated 8 months ago
- Playing with https://github.com/ekmett/machines☆51Updated 8 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 5 months ago
- Multidimensional arrays and simple tensor computations☆38Updated last year
- Experiments on the construction of functions☆29Updated 9 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Updated last year
- ☆23Updated 10 years ago