Popular repositories Loading

1. dafny dafny Public

   Forked from dafny-lang/dafny

   Dafny is a verification-aware programming language

   C#

2. libraries libraries Public

   Forked from dafny-lang/libraries

   Libraries useful for Dafny programs

   Dafny

3. homebrew-core homebrew-core Public

   Forked from Homebrew/homebrew-core

   🍻 Default formulae for the missing package manager for macOS (or Linux)

   Ruby

4. ide-vscode ide-vscode Public

   Forked from dafny-lang/ide-vscode

   VSCode IDE Integration for Dafny

   TypeScript

5. planthetrip planthetrip Public

   A website using chat gpt to provide users information to plan their next trip.

6. gpt-pilot gpt-pilot Public

   Forked from Pythagora-io/gpt-pilot

   Python