nvidia-compiler-sdk / hsnvvmLinks
Haskell bindings for libNVVM
☆19Updated 11 years ago
Alternatives and similar repositories for hsnvvm
Users that are interested in hsnvvm are comparing it to the libraries listed below
Sorting:
- An llvm pretty printer inspired by the haskell llvm binding☆29Updated 2 months ago
- Python bindings for libNVVM☆37Updated 11 years ago
- A human readable style for binary data.☆11Updated 5 years ago
- LambdaCube 3D intermediate representation of 3D graphics pipelines. See:☆8Updated last year
- Computing lenses generically using generics-sop☆16Updated 7 months ago
- Haskell RSA Library☆20Updated 4 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- The Hadrian build system for GHC☆9Updated 6 years ago
- Implementation of the cufp.org website.☆11Updated 7 years ago
- Heyting Algebras in Haskell☆14Updated 2 years ago
- Read and write the zebra file format used for blizzard snapshots.☆11Updated 6 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- A small, efficient and portable regex library for Perl 5 compatible regular expressions☆15Updated last year
- Sample code to build a C library from a Haskell module, then call it from C☆16Updated 7 years ago
- Experimental C++11 backend for Idris☆14Updated 10 years ago
- An higher-level LLVM binding for OCaml☆14Updated 8 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Updated 8 years ago
- The LLVM Symbolic Simulator, part of SAW.☆22Updated 4 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago
- The Java Symbolic Simulator, part of SAW.☆10Updated 4 years ago
- Roaring bitmaps in Haskell☆13Updated 6 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆32Updated 3 months ago
- Term Rewriting Systems☆17Updated 9 years ago
- A bad XML parser☆21Updated 9 months ago
- Fast time library☆20Updated this week
- Backtracking monad in Haskell☆14Updated 3 years ago
- Render a log of cabal install as a graph☆10Updated 9 years ago