Academic Python Library to manage DFA, NFA and AFW automata.
active 2023-11-02 → 2024-10-31 (UTC)
Complete coverage26,504 / 26,504 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-23 (UTC)
Events
33
Pushes
3
Pull requests
2
Issues
9
Stars
5
Forks
1
Activity over time
Daily event counts in the loaded window
Line chart, 365 days from 2023-11-02 to 2024-10-31. Pushes: 3 total, peak 3 in a day. Pull requests: 2 total, peak 1 in a day. Issues: 9 total, peak 5 in a day. Comments: 13 total, peak 7 in a day. Stars: 5 total, peak 1 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
Recent activity
Latest issues, pull requests and releases
- Issue comment#9Oneiroe2024-04-03 11:53Update automata_IO.py
- Pull request#9Oneiroe2024-04-03 11:53
- Issue comment#10Oneiroe2024-04-03 11:09Spreading the nodes wtr to each others ?
- Issue#10Oneiroe2024-04-03 11:09Spreading the nodes wtr to each others ?
- Issue comment#8Oneiroe2024-03-29 16:04initial and accepting state, do they change the shape of the DFA ?
- Issue#10aymeric752024-03-29 15:49Spreading the nodes wtr to each others ?
- Pull request#9aymeric752024-03-29 15:46
- Issue comment#8aymeric752024-03-29 15:45initial and accepting state, do they change the shape of the DFA ?
- Issue#8aymeric752024-03-29 14:38initial and accepting state, do they change the shape of the DFA ?
- Issue comment#7aymeric752024-03-29 14:05automata_IO.py", line 114, in dfa_dot_importer g = pydot.graph_from_dot_file(input_file)[0]
- Issue#7aymeric752024-03-29 14:05automata_IO.py", line 114, in dfa_dot_importer g = pydot.graph_from_dot_file(input_file)[0]
- Issue comment#7Oneiroe2024-03-29 13:38automata_IO.py", line 114, in dfa_dot_importer g = pydot.graph_from_dot_file(input_file)[0]
- Issue#7aymeric752024-03-29 09:43automata_IO.py", line 114, in dfa_dot_importer g = pydot.graph_from_dot_file(input_file)[0]
- Issue comment#5aymeric752024-03-29 09:07DFA graphical representation not reflecting the JSON file
- Issue comment#5aymeric752024-03-29 08:19DFA graphical representation not reflecting the JSON file
- Issue comment#6aymeric752024-03-29 08:18execution hanging for big json file
- Issue#6aymeric752024-03-29 08:18execution hanging for big json file
- Issue comment#6Oneiroe2024-03-28 15:12execution hanging for big json file
- Issue comment#5Oneiroe2024-03-28 14:37DFA graphical representation not reflecting the JSON file
- Issue#5Oneiroe2024-03-28 14:37DFA graphical representation not reflecting the JSON file
- Issue#6aymeric752024-03-28 13:31execution hanging for big json file
- Issue comment#5aymeric752024-03-28 13:09DFA graphical representation not reflecting the JSON file
- Issue comment#5Oneiroe2024-03-28 11:59DFA graphical representation not reflecting the JSON file
- Issue#5aymeric752024-03-28 11:30DFA graphical representation not reflecting the JSON file
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 5 stars here means stars gained during the window, not the repo's star count.