AccelerateHS / accelerate-llvm
LLVM backend for Accelerate
☆158Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for accelerate-llvm
- High performance, regular, shape polymorphic parallel arrays.☆138Updated 9 months ago
- Haskell FFI bindings to CUDA☆75Updated last year
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆143Updated 3 years ago
- The LLVM LHC Haskell Optimization System☆198Updated 4 years ago
- A library for formalizing Haskell types and functions in Coq☆168Updated last year
- Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!☆209Updated 5 years ago
- Examples for the Accelerate language☆69Updated 4 years ago
- Hopefully verifiable code generation in GHC☆95Updated 7 years ago
- Convert lambda expressions to CCC combinators☆146Updated 8 years ago
- Higher-order optimization library☆73Updated last year
- Implementation of cryptographic primitives using Idris☆121Updated 6 years ago
- The Disco Discus Compiler☆174Updated 5 years ago
- ☆124Updated 11 months ago
- Drafts, notes and resources for adding linear typing to GHC.☆75Updated 4 years ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 7 years ago
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆161Updated 3 years ago
- A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS☆109Updated 7 years ago
- Haskell-C++ Foreign Function Interface Generator☆141Updated last year
- DEPRECATED: Accelerate backend for NVIDIA GPUs☆57Updated 7 years ago
- Convert Haskell source code to Coq source code☆279Updated 4 years ago
- A Functional Graph Library for Haskell☆184Updated last month
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆181Updated 4 months ago
- Link to preprints for ICFP'17 and colocated events☆136Updated 6 years ago
- a library for parallel programming☆92Updated last week
- Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library☆158Updated last year
- Kaleidoscope Tutorial using llvm-hs☆82Updated 3 years ago
- Obsidian Language Repository☆40Updated 6 years ago
- An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …☆110Updated 5 years ago
- c2hs is a pre-processor for Haskell FFI bindings to C libraries☆199Updated 8 months ago
- Various data structures for use in the Idris Language.☆95Updated 4 years ago