wiegerw

Pinned Repositories

mCRL2
The Git repository for the mCRL2 toolset.
Language:C++91 11 1.7k39
aitools
C++ library that contains basic AI data structures and algorithm, in particular decision trees and probabilistic circuits.
Language:C++0 1 00
cm-draughtsboard
A JavaScript draughtsboard component that is rendered in SVG.
Language:JavaScript2 1 01
CONEstrip
An implementation of the CONEstrip algorithms using python and z3
Language:Python1 2 00
draughts
A C++ library for international draughts, based on the program Scan. This library has been used in several master thesis projects.
Language:C++2 1 02
gambatools
A library for formal language education. It contains support for DFAs, NFAs, PDAs, Turing machines, context free grammars and regular expressions.
Language:Python3 1 10
mackerel
Language:C++1 1 00
nerva
C++ and Python libraries for neural networks.
13 3 01
nerva-colwise
A C++ library for neural networks
Language:C++1 1 00
pdn
The official portable draughts notation standard PDN 3.0
Language:Python21

wiegerw's Repositories

wiegerw/mackerel
Language:C++1 1 00
wiegerw/dparser
A Scannerless GLR parser/parser generater.
Language:C0 0
wiegerw/egdb_intl
Functions to access the kingsrow international draughts endgame database
Language:C++0 0
wiegerw/frameworks
Language:Lua0 0
wiegerw/large-scale-sparse-neural-networks
Language:Python0 0
wiegerw/Lyra
A simple to use, composable, command line parser for C++ 11 and beyond
wiegerw/mcrl2
The Git repository for the mCRL2 toolset.
Language:C++
wiegerw/RWDF-samples
Repository for samples used in the Udacity RWD course
Language:HTML0 0
wiegerw/scan
Mirror of Fabien Letouzey's international draughts engine Scan
Language:C++1 0
wiegerw/Trap-States-MCTS
Thesis exploring the problem of trap states in Monte Carlo Tree Search.
Language:C++0 0
wiegerw/zapcc
zapcc is a caching C++ compiler based on clang, designed to perform faster compilations
Language:C++2 0