Sable / OstrichLinks
Benchmark suite for studying the performance of JavaScript and WebCL for numerical computation
☆24Updated 5 years ago
Alternatives and similar repositories for Ostrich
Users that are interested in Ostrich are comparing it to the libraries listed below
Sorting:
- ☆90Updated 3 years ago
- A standard for floating point accuracy benchmarks☆55Updated last month
- A model checker based on SAT solving and induction☆15Updated 10 years ago
- 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
- The Insieme Compiler and Runtime Infrastructure☆35Updated 6 years ago
- Codeplay's tutorial LLVM LEG backend - as presented at the 2014 LLVM Developers' Meeting in San Jose.☆42Updated 11 years ago
- Chunky Loop Analyzer: A Polyhedral Representation Extraction Tool for High Level Programs☆25Updated 3 years ago
- Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)☆40Updated 3 years ago
- GPU model checker☆11Updated 6 years ago
- The implementation of the Elevate language☆30Updated 9 months ago
- AMD Software Development Kit 2.5 Sources☆10Updated 9 years ago
- ☆19Updated 11 years ago
- The OpenDwarfs project provides a benchmark suite consisting of different computation/communication idioms, i.e., dwarfs, for state-of-ar…☆98Updated 6 years ago
- Integer Set Library (source repository: http://repo.or.cz/w/isl.git)☆73Updated 11 months ago
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Updated 5 years ago
- UCLID5: formal modeling, verification, and synthesis of computational systems☆153Updated 6 months ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Updated 4 years ago
- Bottom Up Rewrite Generator☆29Updated 8 years ago
- Updated C version of the Test Suite for Vectorising Compilers☆70Updated last year
- The StreamIt compiler infrastructure.☆71Updated 9 years ago
- CUDAAdvisor: a GPU profiling tool☆51Updated 7 years ago
- A set of tools for visualizing and inspecting LLVM bitcode modules☆31Updated 11 years ago
- An Extensible Framework for Hardware Verification and Debugging☆18Updated 3 years ago
- Static Analyzer and Verifier☆51Updated last year
- RV: A Unified Region Vectorizer for LLVM☆112Updated 7 months ago
- Library to plot integer sets and maps☆53Updated 9 years ago
- Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)☆16Updated last year
- Polyhedral Parallel Code Generation (source repository: http://repo.or.cz/ppcg.git)☆131Updated 3 years ago
- ☆52Updated 9 years ago
- A tool for reversible computation in C++ based on incremental state saving.☆22Updated 5 years ago