Alternatives and similar repositories for pfp-e2019-pub:

Users that are interested in pfp-e2019-pub are comparing it to the libraries listed below

• Ekdohibs / PolyGen
  PolyGen is a code generator for the polyhedral model, written and proved in Coq.
  ☆10Updated 4 years ago
• rise-lang / shine
  The Shine compiler for the RISE language
  ☆75Updated 2 months ago
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated 2 months ago
• johnwickerson / memalloy
  Memory consistency modelling using Alloy
  ☆28Updated 4 years ago
• MPLLang / parallel-ml-bench
  Parallel ML benchmark suite
  ☆15Updated last week
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆78Updated 2 months ago
• MPLLang / mpl-tutorial
  Tutorial for using the MPL compiler for Parallel ML
  ☆19Updated last week
• rutgers-apl / fpsanitizer
  A debugger to detect and diagnose numerical errors in floating point programs
  ☆12Updated 2 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 7 months ago
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆15Updated last year
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆105Updated this week
• mangpo / swizzle-inventor
  A framework that helps implementing swizzle GPU kernels
  ☆41Updated 4 years ago
• GaloisInc / reopt-vcg
  A translation verifier for Reopt (https://github.com/GaloisInc/reopt)
  ☆14Updated 3 years ago
• opencompl / mlir-fuzz
  A enumerator for MLIR, relying on the information given by IRDL.
  ☆18Updated 4 months ago
• BlairArchibald / YewPar
  A Collection of High Performance Parallel Skeletons for Tree Search Problems
  ☆21Updated 8 months ago
• cucapra / diospyros
  Search-based compiler for high-performance DSP programming
  ☆62Updated 2 months ago
• AccelerateHS / accelerate-llvm
  LLVM backend for Accelerate
  ☆163Updated 4 months ago
• katamaran-project / katamaran
  Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…
  ☆17Updated this week
• viperproject / carbon
  Verification-condition-generation-based verifier for the Viper intermediate verification language.
  ☆30Updated last week
• braibant / coq-tutorial-ml-tactics
  A tutorial on how to write OCaml tactics for the Coq proof assistant
  ☆23Updated 8 years ago
• tachukao / ocaml-mlir
  OCaml Bindings to MLIR
  ☆14Updated 4 years ago
• dafny-lang / libraries
  Libraries useful for Dafny programs
  ☆43Updated last month
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆12Updated last year
• gussmith23 / lakeroad
  FPGA synthesis tool powered by program synthesis
  ☆37Updated last month
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆51Updated 2 weeks ago
• StagedHPC / shonan-challenge
  ☆31Updated 10 years ago
• metaocaml / ber-metaocaml
  Unofficial git mirror of the BER MetaOCaml patchset.
  ☆64Updated last year
• Mtac2 / Mtac2
  ☆51Updated last month
• martinjonas / Q3B
  ☆27Updated 7 months ago