Dilan-s

Pinned Repositories

dafny
Dafny is a verification-aware programming language
Language:C#2.9k 81 2.8k263
CModules
Language:C00
dafny
Dafny is a verification-aware programming language
Language:C#00
dafny-verifier
Language:Java00
dafny_validator
Language:Python00
dafnyCoverage
Language:HTML00
dafnyMutation
Language:HTML00
perses
language-agnostic program reducer.
Language:Rust00
xdsmith
Fuzz testing for Dafny
Language:Racket00
fuzz-d
Random program generator to verify (fuzz) the Dafny compiler
Language:Kotlin4 1 03

Dilan-s's Repositories

Dilan-s/CModules
Language:C00
Dilan-s/dafny
Dafny is a verification-aware programming language
Language:C#00
Dilan-s/dafny-verifier
Language:Java00
Dilan-s/dafny_validator
Language:Python00
Dilan-s/dafnyCoverage
Language:HTML00
Dilan-s/dafnyMutation
Language:HTML00
Dilan-s/perses
language-agnostic program reducer.
Language:Rust00
Dilan-s/xdsmith
Fuzz testing for Dafny
Language:Racket00