Skip to content
View WouterSchols's full-sized avatar
3 followers · 0 following

Achievements

Achievement: Pull Shark
BetaSend feedback

Achievements

Achievement: Pull Shark
BetaSend feedback
Block or Report

Block or report WouterSchols

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. SmartChessboard SmartChessboard Public

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

    Python 13 1

  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#