🇨🇳 GitHub中文排行榜，各语言分设「软件 | 资料」榜单，精准定位中文好项目。各取所需，高效学习。

download statistics for npm packages

A free, open-source Java library for automata learning algorithms

Mutation-based implementation of a random equivalence testing strategy for active automata learning