Alternatives and similar repositories for Ostrich:

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

• mangpo / greenthumb
  ☆86Updated 2 years ago
• insieme / insieme
  The Insieme Compiler and Runtime Infrastructure
  ☆33Updated 5 years ago
• travitch / llvm-tools
  A set of tools for visualizing and inspecting LLVM bitcode modules
  ☆31Updated 10 years ago
• soarlab / FPTuner
  Rigorous Floating-Point Mixed-Precision Tuner
  ☆14Updated 4 years ago
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆49Updated 2 weeks ago
• trolando / lace
  Lace - implementation of work-stealing in C
  ☆35Updated 10 months ago
• daniellustig / pipecheck
  ☆19Updated 10 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆21Updated 3 years ago
• pnnl / COMET
  ☆40Updated this week
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated 2 weeks ago
• bthies / streamit
  The StreamIt compiler infrastructure.
  ☆71Updated 8 years ago
• CTSRD-CHERI / RVBS
  RISC-V BSV Specification
  ☆18Updated 5 years ago
• lanl / Byfl
  Program analysis tool based on software performance counters
  ☆56Updated 3 years ago
• johnwickerson / memalloy
  Memory consistency modelling using Alloy
  ☆28Updated 4 years ago
• gleisonsdm / DawnCC-Compiler
  A source-to-source compiler for automatic parallelization of C programs through code annotation.
  ☆61Updated 4 years ago
• periscop / cloog
  The CLooG Code Generator in the Polyhedral Model
  ☆43Updated last year
• ajwijs / GPUexplore
  GPU model checker
  ☆11Updated 5 years ago
• Mogball / declarative-mlir-compiler
  Declarative MLIR compilers in Python!
  ☆33Updated 4 years ago
• metaborg / strategoxt
  The Stratego program transformation language
  ☆31Updated 6 months ago
• apl-cornell / jif
  Java-like Language with Static Information Flow Types
  ☆11Updated 2 years ago
• sheredom / fpscev
  Floating-Point Scalar Evolution
  ☆12Updated 5 years ago
• laithsakka / Grafter
  TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.
  ☆10Updated last year
• 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…
  ☆71Updated 3 years ago
• sdasgup3 / partial-redundancy-elimination
  Partial Redundancy Elimination Pass in LLVM
  ☆13Updated 5 years ago
• LLNL / unum
  Universal Number Library
  ☆41Updated 6 years ago
• tobiasgrosser / islplot
  Library to plot integer sets and maps
  ☆49Updated 8 years ago
• uwsampa / accept
  an approximate compiler
  ☆38Updated 4 years ago
• LLNL / backstroke
  A tool for reversible computation in C++ based on incremental state saving.
  ☆22Updated 4 years ago
• GaloisInc / lustre
  A parser and AST for Lustre
  ☆12Updated 3 months ago
• admk / soap
  soap - Structural Optimisation of Arithmetic Programs
  ☆22Updated 8 years ago