Skip to content
View wiegerw's full-sized avatar
6 followers · 2 following

Organizations

@tue-mdse @mCRL2org

Block or report wiegerw

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Pinned Loading

  1. nerva nerva Public

    C++ and Python libraries for neural networks.

    Python 18 1

  2. minimax minimax Public

    Minimax verification

    Dafny 2

  3. gambatools gambatools Public

    A library for formal language education. It contains support for DFAs, NFAs, PDAs, Turing machines, context free grammars and regular expressions.

    Python 3

  4. aitools aitools Public

    C++ library that contains basic AI data structures and algorithm, in particular decision trees and probabilistic circuits.

    C++

  5. mCRL2org/mCRL2 mCRL2org/mCRL2 Public

    The Git repository for the mCRL2 toolset.

    C++ 103 47

  6. pdn pdn Public

    The official portable draughts notation standard PDN 3.0

    Python 3 1