Alternatives and similar repositories for Ostrich

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

• mangpo / greenthumb
  ☆91Updated 3 years ago
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆58Updated 3 weeks ago
• tobiasgrosser / islplot
  Library to plot integer sets and maps
  ☆53Updated 9 years ago
• periscop / clan
  Chunky Loop Analyzer: A Polyhedral Representation Extraction Tool for High Level Programs
  ☆25Updated 3 years ago
• niklasso / tip
  A model checker based on SAT solving and induction
  ☆15Updated 10 years ago
• Meinersbur / isl
  Integer Set Library (source repository: http://repo.or.cz/w/isl.git)
  ☆74Updated this week
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆30Updated 10 months ago
• Meinersbur / pet
  Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)
  ☆40Updated 3 years ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆75Updated 8 months ago
• insieme / insieme
  The Insieme Compiler and Runtime Infrastructure
  ☆35Updated 6 years ago
• ftynse / clint
  Chunky Loop Interaction
  ☆25Updated 6 years ago
• inducer / islpy
  Python wrapper for isl, an integer set library
  ☆83Updated last week
• mightymercado / pysigmoid
  Drop-in replacement for IEEE Float
  ☆42Updated 5 years ago
• bthies / streamit
  The StreamIt compiler infrastructure.
  ☆71Updated 9 years ago
• UoB-HPC / TSVC_2
  Updated C version of the Test Suite for Vectorising Compilers
  ☆71Updated last year
• periscop / candl
  Data Dependence Analyzer in the Polyhedral Model
  ☆21Updated 2 years ago
• szeged / csibe
  CSiBE
  ☆34Updated 3 years ago
• vtsynergy / OpenDwarfs
  The OpenDwarfs project provides a benchmark suite consisting of different computation/communication idioms, i.e., dwarfs, for state-of-ar…
  ☆100Updated 6 years ago
• codeplaysoftware / llvm-leg
  Codeplay's tutorial LLVM LEG backend - as presented at the 2014 LLVM Developers' Meeting in San Jose.
  ☆42Updated 11 years ago
• daniellustig / pipecheck
  ☆19Updated 11 years ago
• Meinersbur / ppcg
  Polyhedral Parallel Code Generation (source repository: http://repo.or.cz/ppcg.git)
  ☆131Updated 3 years ago
• Mogball / declarative-mlir-compiler
  Declarative MLIR compilers in Python!
  ☆36Updated 5 years ago
• cdl-saarland / rv
  RV: A Unified Region Vectorizer for LLVM
  ☆113Updated 8 months ago
• Multi2Sim / m2s-bench-amdsdk-2.5-src
  AMD Software Development Kit 2.5 Sources
  ☆10Updated 9 years ago
• wsmoses / Tapir-LLVM
  Tapir extension to LLVM for optimizing Parallel Programs
  ☆132Updated 5 years ago
• UCSBarchlab / Charm
  A Language for Closed-form High-level ARchitecture Modeling
  ☆21Updated 5 years ago
• chengyinwu / V3
  An Extensible Framework for Hardware Verification and Debugging
  ☆18Updated 3 years ago
• travitch / llvm-tools
  A set of tools for visualizing and inspecting LLVM bitcode modules
  ☆31Updated 11 years ago
• davewathaverford / the-omega-project
  Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…
  ☆72Updated 4 years ago
• yihozhang / relational-ematching-benchmark
  ☆16Updated 4 years ago