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:
- Agda-style equational reasoning in Haskell☆54Updated 4 months ago
- A talk on type-generic FFT in Haskell☆46Updated 3 years ago
- A categorical framework for circuit construction☆31Updated 8 years ago
- Hopefully verifiable code generation in GHC☆94Updated 8 years ago
- A collection of computational methods in science.☆12Updated 8 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 5 years ago
- Quiver stream processing library☆15Updated 8 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 4 years ago
- DIY Markov Chains.☆25Updated 8 months ago
- Haskell typechecker☆39Updated 6 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Updated 9 years ago
- Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.☆14Updated 8 years ago
- Haskell bindings to ArrayFire☆60Updated 7 months ago
- A monad for interfacing with external SAT solvers☆64Updated last month
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆57Updated 4 years ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 8 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 4 months ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Open records for Haskell☆22Updated 7 years ago
- Experiments on the construction of functions☆29Updated 9 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆70Updated last week
- Paris Functional Programming Meetup☆27Updated 5 years ago
- Some useful control operators for looping☆47Updated 5 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated 2 years ago
- Simple lambda prover☆24Updated 10 years ago
- Dependently typed convolutional neural networks☆35Updated 8 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- Multidimensional arrays and simple tensor computations☆38Updated last year
- ☆25Updated 4 years ago
- Alternative Core language for GHC plugins☆39Updated 9 years ago