Beast code in Giters

WouterSchols's repositories

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

Language:PythonMIT1300

Language:HTML000

Config files for my GitHub profile.

000

Simple Chrome extension adding nice features to chess.com website

MIT100

Dafny is a verification-aware programming language

Language:C#NOASSERTION000

MSBuild tasks for use in projects containing Dafny source code

MIT000

AWS Encryption SDK Specification

NOASSERTION000

A correct proof of correctness of quickSort in Coq

Language:CoqApache-2.0100

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

Language:C#000