Giters
David Cok (davidcok)

davidcok

Geek Repo

20

followers

0

following

1

stars

Github PK Tool:Github PK Tool

Organizations
AnnotationsForAll
OpenJML

David Cok's repositories

compiler-bootstrap

A work-in-progress reimplementation of Dafny's compiler, in Dafny

Language:DafnyLicense:MITStargazers:0Issues:1Issues:0

dafny

Dafny is a verification-aware programming language

Language:C#License:NOASSERTIONStargazers:0Issues:0Issues:0

dafny-lang.github.io

Language:TeXLicense:MITStargazers:0Issues:1Issues:0

DavidCok

Stargazers:0Issues:2Issues:0

davidcok.github.io

Language:CSSStargazers:0Issues:2Issues:1

homebrew-core

🍻 Default formulae for the missing package manager for macOS

Language:RubyLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

libraries

Libraries useful for Dafny programs

Language:DafnyLicense:NOASSERTIONStargazers:0Issues:1Issues:0

rouge

A pure Ruby code highlighter that is compatible with Pygments

Language:RubyLicense:NOASSERTIONStargazers:0Issues:0Issues:0