nvidia-compiler-sdk / hsnvvmLinks
Haskell bindings for libNVVM
☆20Updated 11 years ago
Alternatives and similar repositories for hsnvvm
Users that are interested in hsnvvm are comparing it to the libraries listed below
Sorting:
- Python bindings for libNVVM☆37Updated 11 years ago
- Haskell RSA Library☆21Updated 4 years ago
- A Haskell implementation of Andrew Kensler's business card raytracer.☆18Updated 4 years ago
- Various Futhark benchmark programs☆43Updated 2 weeks ago
- From Haskell to Hardware via CCCs☆58Updated 9 years ago
- Haskell interface to the pcg random number generator☆42Updated last year
- Kernel PCI device drivers in userspace☆14Updated 6 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- A Haskell HTTP server☆25Updated 8 years ago
- The elf-edit library provides a datatype suitable for reading and writing Elf files.☆39Updated 5 months ago
- A partial implementation of Protocol Buffers in Idris☆32Updated 8 years ago
- My dabbling with Pierce's languages in Haskell☆22Updated 14 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆30Updated 2 weeks ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Updated 2 years ago
- Core implementation of X10 programming language including compiler, runtime, class libraries, sample programs and test suite☆72Updated 4 years ago
- Formal semantics of LLVM IR in K☆46Updated 7 years ago
- Context switching for LLVM☆15Updated 14 years ago
- Parallel Programming in Futhark☆49Updated 3 months ago
- Haskell binding for PADS☆21Updated 6 years ago
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆17Updated 5 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆46Updated 6 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33Updated 8 months ago
- Jhc: Haskell Compiler☆39Updated 10 years ago
- Peer-to-peer version control system☆97Updated 2 years ago
- A Haskell implementation of the tiger compiler☆10Updated 5 years ago
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆57Updated 6 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- Coq library for verified low-level programming☆61Updated 8 years ago
- Source repository for https://hackage.haskell.org/package/language-c☆95Updated last month
- A Java JIT compiler written in Haskell☆73Updated 12 years ago