# LearnLib/automatalib

<https://repo.masters-masters.com/en/repos/LearnLib/automatalib>

[Home](https://repo.masters-masters.com/en) › [LearnLib](https://repo.masters-masters.com/en/owners/LearnLib) › [automatalib](https://repo.masters-masters.com/en/repos/LearnLib/automatalib)

LearnLib/automatalib has 105 stars on GitHub. Its RepoMasters card: Prototype tier. A free, open-source Java library for automata, graphs, and transition…

| Field | Value |
| --- | --- |
| Owner | [LearnLib](https://repo.masters-masters.com/en/owners/LearnLib) |
| Stars | 105 |
| Forks | 36 |
| Language | [Java](https://repo.masters-masters.com/en/languages/java) |
| License | Apache-2.0 |
| Created | 2013 |
| Topics | automata, conformance-testing, dfa, m3c, mealy-machine, minimization, model-checking, test-case-generation, timed-automata, transition-system |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [LearnLib/automatalib](https://github.com/LearnLib/automatalib) |

## Repository

A free, open-source Java library for automata, graphs, and transition systems

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by LearnLib

- [LearnLib/learnlib · ★ 240 · Java · Prototype](https://repo.masters-masters.com/en/repos/LearnLib/learnlib)

## Nearby in Java

- [mobilehackinglab/jadx-mcp-plugin · ★ 105 · Java · Prototype](https://repo.masters-masters.com/en/repos/mobilehackinglab/jadx-mcp-plugin)
- [spring-ai-community/agent-client · ★ 105 · Java · Prototype](https://repo.masters-masters.com/en/repos/spring-ai-community/agent-client)
- [hhhhhhhhhhhpro/Stream-Hub · ★ 105 · Java · Prototype](https://repo.masters-masters.com/en/repos/hhhhhhhhhhhpro/Stream-Hub)
- [Zapotek/raw2vmdk · ★ 105 · Java · Prototype](https://repo.masters-masters.com/en/repos/Zapotek/raw2vmdk)
- [doffm/android-dragarea · ★ 105 · Java · Prototype](https://repo.masters-masters.com/en/repos/doffm/android-dragarea)
- [oyse/yedit · ★ 105 · Java · Prototype](https://repo.masters-masters.com/en/repos/oyse/yedit)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.