Popular repositories Loading

1. DavidCok DavidCok Public

2. davidcok.github.io davidcok.github.io Public

   CSS

3. dafny dafny Public

   Forked from dafny-lang/dafny

   Dafny is a verification-aware programming language

   C#

4. homebrew-core homebrew-core Public

   Forked from Homebrew/homebrew-core

   🍻 Default formulae for the missing package manager for macOS

   Ruby

5. rouge rouge Public

   Forked from rouge-ruby/rouge

   A pure Ruby code highlighter that is compatible with Pygments

   Ruby 1

6. libraries libraries Public

   Forked from dafny-lang/libraries

   Libraries useful for Dafny programs

   Dafny