Pinned Repositories
compiler-bootstrap
A work-in-progress reimplementation of Dafny's compiler, in Dafny
dafny
Dafny is a verification-aware programming language
dafny-lang.github.io
DavidCok
davidcok.github.io
homebrew-core
🍻 Default formulae for the missing package manager for macOS
libraries
Libraries useful for Dafny programs
rouge
A pure Ruby code highlighter that is compatible with Pygments
homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
rouge
A pure Ruby code highlighter that is compatible with Pygments
davidcok's Repositories
davidcok/compiler-bootstrap
A work-in-progress reimplementation of Dafny's compiler, in Dafny
davidcok/dafny
Dafny is a verification-aware programming language
davidcok/dafny-lang.github.io
davidcok/DavidCok
davidcok/davidcok.github.io
davidcok/homebrew-core
🍻 Default formulae for the missing package manager for macOS
davidcok/libraries
Libraries useful for Dafny programs
davidcok/rouge
A pure Ruby code highlighter that is compatible with Pygments