tmcdonell / cudaLinks
Haskell FFI bindings to CUDA
☆80Updated 4 months ago
Alternatives and similar repositories for cuda
Users that are interested in cuda are comparing it to the libraries listed below
Sorting:
- High performance, regular, shape polymorphic parallel arrays.☆144Updated last year
- Source for personal blog.☆78Updated this week
- Some useful control operators for looping☆47Updated 5 years ago
- Haskell-C++ Foreign Function Interface Generator☆145Updated 2 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆128Updated 2 weeks ago
- Drafts, notes and resources for adding linear typing to GHC.☆79Updated 5 years ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆53Updated 2 years ago
- An implementation of Google's Protocol Buffers in Haskell.☆96Updated 4 months ago
- Generic random generators☆81Updated 2 years ago
- A monad for interfacing with external SAT solvers☆65Updated 7 months ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆57Updated 5 years ago
- Serializable closures for distributed programming.☆66Updated 2 years ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆83Updated 3 weeks ago
- Many-dimensional type-safe numeric ops☆46Updated 4 years ago
- Matrix operations in 100% pure Haskell☆34Updated 2 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆104Updated 11 months ago
- Pre-processor for .hsc files☆43Updated last month
- Hopefully verifiable code generation in GHC☆94Updated 8 years ago
- ☆80Updated last year
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 5 months ago
- Dependently-typed finite maps (partial dependent products)☆67Updated 3 months ago
- Arbitrary-precision floating-point numbers represented using scientific notation☆75Updated last month
- Examples for the Accelerate language☆70Updated 5 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆71Updated 3 weeks ago
- Zippers based on lenses and traversals☆41Updated 2 years ago
- constructive abstract algebra☆104Updated 6 years ago
- ☆127Updated 2 years ago
- ☆110Updated 3 weeks ago
- Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)☆57Updated 3 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 3 weeks ago