#

data-race-freedom

Here are 4 public repositories matching this topic...

mukul-rathi / bolt

Bolt is a language with in-built data-race freedom!

language types static-analysis concurrency compilers data-race-freedom

Updated Nov 24, 2023
OCaml

cogumbreiro / setup-faial

Setup the Faial static code analyzer for CUDA kernels

static-analysis cuda static-analyzer data-race-detection data-race-freedom

Updated Apr 23, 2024
JavaScript

cogumbreiro / faial-tutorial

A tutorial on how to use `faial`.

static-analysis ocaml cuda static-analyzer data-race-freedom data-race-detector

Updated Apr 15, 2024
Cuda

os12345678 / Poppy

The Poppy Compiler

ocaml type-system compiler-design concurrency-control data-race-freedom

Updated May 6, 2024
OCaml

Improve this page

Add a description, image, and links to the data-race-freedom topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the data-race-freedom topic, visit your repo's landing page and select "manage topics."