Alternatives and similar repositories for hsnvvm

Users that are interested in hsnvvm are comparing it to the libraries listed below

• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆37Updated 11 years ago
• cchalmers / pcg-random
  Haskell interface to the pcg random number generator
  ☆41Updated last year
• IntelLabs / flrc-lib
  Pillar compiler, Pillar runtime, garbage collector.
  ☆23Updated 2 years ago
• amcphail / lambda
  An untyped lambda calculus interpreter
  ☆12Updated last year
• dcousens / RayTracer
  A Haskell implementation of Andrew Kensler's business card raytracer.
  ☆18Updated 3 years ago
• GaloisInc / elf-edit
  The elf-edit library provides a datatype suitable for reading and writing Elf files.
  ☆39Updated last month
• conal / talk-2015-haskell-to-hardware
  From Haskell to Hardware via CCCs
  ☆58Updated 9 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• GaloisInc / RSA
  Haskell RSA Library
  ☆20Updated 4 years ago
• GaloisInc / hexdump
  A human readable style for binary data.
  ☆11Updated 5 years ago
• rumpkernel / pci-userspace
  Kernel PCI device drivers in userspace
  ☆14Updated 5 years ago
• noteed / smallpt-hs
  A Haskell port of the C++ smallpt path tracer
  ☆15Updated 4 years ago
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆24Updated 13 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆32Updated 8 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆30Updated last month
• cheery / spirthon
  Python bytecode to SPIR-V -translation.
  ☆43Updated 8 years ago
• gregr / experiments
  a steady descent into madness
  ☆16Updated 2 months ago
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆47Updated 7 years ago
• emscripten-core / emscripten-fastcomp-clang
  emscripten clang
  ☆78Updated 3 years ago
• bollu / diffgeo
  A formalization of synthetic differential geometry in Coq using infinitesimal analysis
  ☆11Updated 4 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 5 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated last month
• bretthall / Wyatt-STM
  Software transactional memory system developed at Wyatt Technology
  ☆29Updated 5 years ago
• kitsilanosoftware / EASTL
  EA game-friendly STL implementation. Obsoleted by official release.
  ☆10Updated 11 years ago
• GaloisInc / salty
  A DSL for generating GR(1) problems
  ☆11Updated 4 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆19Updated 6 years ago
• japesinator / tarts
  Timing attack resistant type systems
  ☆24Updated 10 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆38Updated 10 years ago
• jonsterling / Lens.hpp
  Functional Lenses in C++
  ☆21Updated 14 years ago