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
• IntelLabs / flrc-lib
  Pillar compiler, Pillar runtime, garbage collector.
  ☆23Updated 2 years ago
• GaloisInc / RSA
  Haskell RSA Library
  ☆20Updated 4 years ago
• dcousens / RayTracer
  A Haskell implementation of Andrew Kensler's business card raytracer.
  ☆18Updated 4 years ago
• llvm-mirror / klee
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆17Updated 8 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆20Updated 6 years ago
• cchalmers / pcg-random
  Haskell interface to the pcg random number generator
  ☆41Updated last year
• bollu / diffgeo
  A formalization of synthetic differential geometry in Coq using infinitesimal analysis
  ☆11Updated 4 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆73Updated 12 years ago
• conal / talk-2015-haskell-to-hardware
  From Haskell to Hardware via CCCs
  ☆58Updated 9 years ago
• leaningtech / cheerp-bullet
  Bullet physics library ported to JavaScript with Cheerp
  ☆23Updated 9 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆50Updated 3 weeks ago
• john-tornblom / llvm-p86
  A compiler and mutation testing framework for the programming language Pascal-86
  ☆20Updated 11 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 3 years ago
• fpco / schoolofhaskell.com
  ☆15Updated 5 years ago
• GaloisInc / http-server
  A Haskell HTTP server
  ☆25Updated 8 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated 2 months ago
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 6 years ago
• BartoszMilewski / CodeCoop
  Peer-to-peer version control system
  ☆96Updated 2 years ago
• GaloisInc / salty
  A DSL for generating GR(1) problems
  ☆12Updated 4 years ago
• mcschroeder / ctrie
  Non-blocking concurrent hashmap for Haskell
  ☆18Updated 8 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• emscripten-core / emscripten-fastcomp-clang
  emscripten clang
  ☆78Updated 3 years ago
• NuclearMonster / openal-website
  ☆24Updated 2 years ago
• kitsilanosoftware / EASTL
  EA game-friendly STL implementation. Obsoleted by official release.
  ☆10Updated 11 years ago
• GaloisInc / elf-edit
  The elf-edit library provides a datatype suitable for reading and writing Elf files.
  ☆39Updated 2 months ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆15Updated 10 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆32Updated 8 years ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 12 years ago