We are constantly adding to our list of resources. Please contact us if you have a suggestion for the list.
A Java library implementing many learning algorithms and testing algorithms. Mostly focussed on active learning. See GitHub for the latest version.
A (discontinued) C++ library implementing learning algorithms. Includes both active and passive learning algorithms.
A tool for learning web applications with active learning. It does not require any programming and can be used out-of-the-box.
Related keywords are: regular inference, grammatical inference, (active) automata learning, model learning, induction of regular languages and maybe even process mining.