Alternatives and similar repositories for Ostrich

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

• mangpo / greenthumb
  ☆90Updated 3 years ago
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆55Updated last month
• niklasso / tip
  A model checker based on SAT solving and induction
  ☆15Updated 10 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
• insieme / insieme
  The Insieme Compiler and Runtime Infrastructure
  ☆35Updated 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
• periscop / clan
  Chunky Loop Analyzer: A Polyhedral Representation Extraction Tool for High Level Programs
  ☆25Updated 3 years ago
• Meinersbur / pet
  Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)
  ☆40Updated 3 years ago
• ajwijs / GPUexplore
  GPU model checker
  ☆11Updated 6 years ago
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆30Updated 9 months ago
• Multi2Sim / m2s-bench-amdsdk-2.5-src
  AMD Software Development Kit 2.5 Sources
  ☆10Updated 9 years ago
• daniellustig / pipecheck
  ☆19Updated 11 years ago
• vtsynergy / OpenDwarfs
  The OpenDwarfs project provides a benchmark suite consisting of different computation/communication idioms, i.e., dwarfs, for state-of-ar…
  ☆98Updated 6 years ago
• Meinersbur / isl
  Integer Set Library (source repository: http://repo.or.cz/w/isl.git)
  ☆73Updated 11 months ago
• fm-polimi / zot
  The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)
  ☆10Updated 5 years ago
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆153Updated 6 months ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆25Updated 4 years ago
• huangguiyang / burg
  Bottom Up Rewrite Generator
  ☆29Updated 8 years ago
• UoB-HPC / TSVC_2
  Updated C version of the Test Suite for Vectorising Compilers
  ☆70Updated last year
• bthies / streamit
  The StreamIt compiler infrastructure.
  ☆71Updated 9 years ago
• sderek / CUDAAdvisor
  CUDAAdvisor: a GPU profiling tool
  ☆51Updated 7 years ago
• travitch / llvm-tools
  A set of tools for visualizing and inspecting LLVM bitcode modules
  ☆31Updated 11 years ago
• chengyinwu / V3
  An Extensible Framework for Hardware Verification and Debugging
  ☆18Updated 3 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆51Updated last year
• cdl-saarland / rv
  RV: A Unified Region Vectorizer for LLVM
  ☆112Updated 7 months ago
• tobiasgrosser / islplot
  Library to plot integer sets and maps
  ☆53Updated 9 years ago
• NVlabs / litmustestgen
  Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)
  ☆16Updated last year
• Meinersbur / ppcg
  Polyhedral Parallel Code Generation (source repository: http://repo.or.cz/ppcg.git)
  ☆131Updated 3 years ago
• agra-uni-bremen / metaSMT
  ☆52Updated 9 years ago
• llnl / backstroke
  A tool for reversible computation in C++ based on incremental state saving.
  ☆22Updated 5 years ago