Popular repositories Loading

1. SmartChessboard SmartChessboard Public

   A software project to connect any electronic DIY chessboard to chess.com

   Python 14 2

2. Coq_Quiksort Coq_Quiksort Public

   A correct proof of correctness of quickSort in Coq

   Coq 1

3. Chess-Helper Chess-Helper Public

   Forked from everyonesdesign/Chess-Helper

   Simple Chrome extension adding nice features to chess.com website

   TypeScript 1

4. backupConcole backupConcole Public

   A windows client side application to backup files in the background to an ftp server

   C#

5. dafny dafny Public

   Forked from dafny-lang/dafny

   Dafny is a verification-aware programming language

   C#

6. dafny.msbuild dafny.msbuild Public

   Forked from dafny-lang/dafny.msbuild

   MSBuild tasks for use in projects containing Dafny source code

   C#