data-race-freedom

There are 4 repositories under data-race-freedom topic.

mukul-rathi/bolt
Bolt is a language with in-built data-race freedom!
Language:OCaml543 12 13853
cogumbreiro/setup-faial
Setup the Faial static code analyzer for CUDA kernels
Language:JavaScript4 1 01
cogumbreiro/faial-tutorial
A tutorial on how to use `faial`.
Language:Cuda11
os12345678/Poppy
The Poppy Compiler
Language:OCaml1 2 00