The objective of this repository is to provide a list of projects that use the verification-friendly programming language Dafny.

Many projects are open-source and they can be a great opportunity to:

1. re-use/share Dafny code (e.g. libraries),
2. learn by example,
3. foster a community of developers.

If you want a project to be added to the list, you may make a pull request (fork this repository, make changes to your copy and then create a PR to the upstream).

Some minimal information should be provided about the project among them:

• name
• link to a public repository
• project's target: e.g. algorithms, concurrent system
• a brief description of the
• what can be useful to others and re-used (e.g. a library with some seq lemmas, or arithmetic etc)

Optionally we may provide:

• statistics (lines of code, number of lemmas)
• experience reports/papers/publications
• a way to replicate the results, e.g. a Docker container. Dafny is under constant improvement, so it may be good to archive a project code/dafny version pair to be able to replicate the results.

And any other suggestions are most welcome!