A free, open-source Java library for modeling automata, graphs, and transition systems
active 2023-09-25 → 2026-08-12 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 1053 days from 2023-09-25 to 2026-08-12. Pushes: 160 total, peak 7 in a day. Pull requests: 35 total, peak 3 in a day. Issues: 21 total, peak 2 in a day. Comments: 39 total, peak 5 in a day. Stars: 20 total, peak 1 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Stars, PRs, issues and forks are under-captured in the later part of this window. GH Archive progressively stopped capturing non-push events during 2026 — −95% or worse by the end of the window. Every series here except Pushes fades for that reason, so a decline above reflects the archive, not this repository. Pushes stay reliable throughout, so read them, and the contributor counts derived from them, as the real signal. Data health has the measurements.
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| mtf90 | 244 | 160 | 34 | 33 |
| BlobbyBob | 5 | 0 | 0 | 3 |
| tneele | 3 | 0 | 0 | 2 |
| liamoc | 2 | 0 | 0 | 0 |
| pfg666 | 1 | 0 | 0 | 0 |
| kostis | 1 | 0 | 0 | 1 |
| pdev55 | 1 | 0 | 1 | 0 |
| VishalPatel43 | 1 | 0 | 0 | 0 |
| pierreganty | 1 | 0 | 0 | 0 |
| stateMachinist | 1 | 0 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Pull request#101mtf902026-01-23 09:31
- Pull request#96pdev552025-10-08 06:58
- Issue#95mtf902025-08-25 19:31Add implementation for checking (graph) isomorphism
- Issue#59mtf902025-08-07 20:22M3C does not run on M1 MacBooks
- Pull request#94mtf902025-08-07 20:22
- Pull request#94mtf902025-07-31 14:30
- Issue#91liamoc2025-07-15 08:38Creating nondeterministic Moore Machines
- Issue#91liamoc2025-07-15 08:06Creating nondeterministic Moore Machines
- Pull request#90mtf902025-05-22 12:20
- Pull request#90mtf902025-05-22 11:09
- Issue#89stateMachinist2025-05-04 22:12DOTParsers fail for some models from Automata Wiki
- Issue comment#84mtf902025-03-12 12:38Integer overflow when comparing two large automata
- Issue comment#88mtf902025-03-12 12:37Regression in DetermineEquivalenceTest::findSeparatingWord affecting AutomataLib 0.12.0 but not 0.11.0
- Issue#88mtf902025-03-12 12:37Regression in DetermineEquivalenceTest::findSeparatingWord affecting AutomataLib 0.12.0 but not 0.11.0
- Issue comment#88kostis2025-03-11 16:22Regression in DetermineEquivalenceTest::findSeparatingWord affecting AutomataLib 0.12.0 but not 0.11.0
- Issue comment#88mtf902025-03-11 08:50Regression in DetermineEquivalenceTest::findSeparatingWord affecting AutomataLib 0.12.0 but not 0.11.0
- Issue#88pfg6662025-03-11 08:15Regression in DetermineEquivalenceTest::findSeparatingWord affecting AutomataLib 0.12.0 but not 0.11.0
- Issue comment#84mtf902025-02-28 12:21Integer overflow when comparing two large automata
- Issue#84mtf902025-02-28 12:20Integer overflow when comparing two large automata
- Issue comment#84tneele2025-02-27 21:04Integer overflow when comparing two large automata
- Issue comment#87mtf902025-02-07 12:28Problem with references to FSM format
- Issue#87mtf902025-02-07 12:20Problem with references to FSM format
- Issue#87pierreganty2025-02-07 10:04Problem with references to FSM format
- Issue comment#84mtf902025-02-05 21:30Integer overflow when comparing two large automata
- Issue comment#84mtf902025-01-10 21:27Integer overflow when comparing two large automata
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 20 stars here means stars gained during the window, not the repo's star count.