GitHub topics: correctness-evaluation
siemens/drace Fork of fmoessbauer/drace
Data-race detector for windows applications - built on top of DynamoRIO
Language: C++ - Size: 6.8 MB - Last synced at: 8 days ago - Pushed at: almost 4 years ago - Stars: 41 - Forks: 5
sano-explorar/app
Causal Analysis of Sleep Effects on Anxiety, Correct Responses, and Neurophysiological Measures Using Advanced Statistical Techniques
Size: 4.88 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0
dusteye/Horae
A framework for parallel or distributed program easy to case recurrent and correctness verification
Size: 1.95 KB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
klassen-software-solutions/ksscontract
C++ tools to assist with "programming by contract"
Language: C++ - Size: 129 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
htaghizadeh/PersianStemmingDataset
Persian Stemming data-set in order to evaluate new stemmers
Language: Pascal - Size: 2.13 MB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 13 - Forks: 4
klassen-software-solutions/gocontract
GO tools to assist with "programming by contract"
Language: Go - Size: 17.6 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0