AccelerateHS / accelerate-llvm
LLVM backend for Accelerate
☆158Updated last month
Related projects ⓘ
Alternatives and complementary repositories for accelerate-llvm
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆142Updated 3 years ago
- A library for formalizing Haskell types and functions in Coq☆167Updated last year
- The LLVM LHC Haskell Optimization System☆198Updated 4 years ago
- Hopefully verifiable code generation in GHC☆95Updated 7 years ago
- Compiling to Categories☆436Updated 8 months ago
- Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!☆208Updated 5 years ago
- Convert lambda expressions to CCC combinators☆146Updated 8 years ago
- Convert Haskell source code to Coq source code☆279Updated 4 years ago
- c2hs is a pre-processor for Haskell FFI bindings to C libraries☆199Updated 7 months ago
- A small implementation of higher-order unification☆182Updated 7 years ago
- Cogent Project☆158Updated last year
- The Disco Discus Compiler☆174Updated 5 years ago
- GRIN backend for GHC☆143Updated 3 years ago
- Higher-order optimization library☆73Updated last year
- "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory☆204Updated 2 years ago
- Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)☆132Updated 7 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
- A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS☆109Updated 7 years ago
- A curated list of awesome Coq frameworks, libraries and software.☆236Updated 2 weeks ago
- Implementation of cryptographic primitives using Idris☆121Updated 6 years ago
- Coq formalizations of functional languages.☆141Updated 4 years ago
- DEPRECATED: Accelerate backend for NVIDIA GPUs☆57Updated 7 years ago
- ☆124Updated 11 months ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆243Updated this week
- compiler with polyhedral optmization for a lazy functional programming language☆67Updated 7 years ago
- LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out:☆86Updated last year
- From Haskell to Hardware via CCCs☆58Updated 8 years ago
- A formal semantics of the RISC-V ISA in Haskell☆156Updated last year
- Systematic concurrency testing meets Haskell.☆195Updated last month