Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: openmp-programs

adharshkamath/Mathy-Compiler

A compiler to generate OpenMP programs for equations involving constructs like Forall, Summation, etc., frequently used in the scientific domain

Language: C - Size: 1.26 MB - Last synced at: 27 days ago - Pushed at: about 4 years ago - Stars: 8 - Forks: 2

utpalbora/LLOV

LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs

Language: C++ - Size: 296 MB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 19 - Forks: 5

Related Keywords
openmp-programs 2 openmp 2 data-race 1 dataracebench-fortran 1 flang 1 fortran 1 llvm 1 llvm-ir 1 llvm-openmp-verifier 1 openmp-verification 1 polly 1 program-verification 1 race-checker 1 race-conditions 1 race-detection 1 race-detector 1 static-analysis 1 clang 1 yacc 1 transpiler 1 parallelization 1 omp-parallel 1 mathematical-notations 1 mathematical-equation 1 lex 1 flex 1 equation 1 cpp 1 compiler-construction 1 compiler 1 c 1 bison 1