| Name | Version | Summary | date |
| greenery |
4.2.2 |
Greenery allows manipulation of regular expressions |
2024-06-08 12:09:00 |
| pylattica |
0.1.3 |
pylattica is a package for fast prototyping of lattice models for chemistry and materials science |
2024-03-13 18:40:32 |
| omega |
0.4.0 |
Symbolic algorithms for solving games of infinite duration. |
2024-02-16 15:25:15 |
| cfsm-bisimulation |
1.0.1 |
A bisiumlation data-aware algorithm for Communicating Finite State Machines with edge assertions (knowledge as a-CFSM) |
2023-11-21 00:48:48 |
| automatool |
0.1.7 |
Automaton analysis and maniplation tool |
2023-08-24 02:14:48 |
| Pytomatas |
1.1.4 |
Simulates Automatons Acceptors DFA, NFA, PDA and Turing Machines |
2023-06-05 02:39:04 |