Geeks
SoftwareFoundationGroupAtKyotoU
/
VeriCUDA
Deductive verifier for CUDA
Primary Language
OCaml
VeriCUDA GitHub
Markdown
Readme
1
Issue
14
Stargazers
12
Watchers
Stargazers
anton-trunov
TON Foundation
asi1024
Preferred Networks Inc.
EdPom
San Jose
fischerman
@inovex
iasakura
mrragava
mseri
Rijksuniversiteit Groningen
Neo42
James Anthony Consulting
omasanori
Japan, or anywhere else
Skantz
Shirokanedai
smondet
New York, NY
smorimoto
@ocaml @tc39
sp4ghet
Tokyo
ymyzk
@indeedeng / @indeedops