| lightdm-webkit-theme-petrichor-git |
2.0.r2.g8074f7d-1 |
4 |
0.00 |
Simple and tidy theme for LightDM's webkit2 greeter |
phillid
|
| lola1 |
1.18-1 |
1 |
0.00 |
A Low Level Petri Net Analyzer |
JonnyJD
|
| opulus |
0.9-1 |
1 |
0.00 |
A Petri net editor/simulator |
mschu
|
| petri-foo-git |
r226.5e73217-1 |
0 |
0.00 |
A fork of specimen, a MIDI controllable audio sampler, for JACK. sollapse fork. |
milk
|
| petrify |
5.2-1 |
4 |
0.00 |
A tool for synthesis of Petri Nets and asynchronous circuits |
not_schur
|
| pnapi |
4.03-1 |
2 |
0.00 |
C++ library encapsulating Petri net-related functions |
JonnyJD
|
| renew-base |
2.5-2 |
1 |
0.00 |
The Reference Net Workshop |
orphan
|
| renew-fa-base |
2.5-2 |
1 |
0.00 |
The Reference Net Workshop - Finite Automata Plug-in |
orphan
|
| renew-faformalism |
2.5-2 |
1 |
0.00 |
The Reference Net Workshop - FAFormalism Plug-in |
orphan
|
| renew-fs |
2.5-2 |
1 |
0.00 |
The Reference Net Workshop - Feature Structure Plug-in |
orphan
|
| renew-guiprompt |
2.5-2 |
1 |
0.00 |
The Reference Net Workshop - GUI Prompt Plug-in |
orphan
|
| renew-imagenetdiff |
2.5-2 |
1 |
0.00 |
The Reference Net Workshop - ImageNetDiff Plug-in |
orphan
|
| renew-jgit |
2.5-2 |
1 |
0.00 |
The Reference Net Workshop - JGitLibs Plug-in |
orphan
|
| renew-refactoring |
2.5-2 |
1 |
0.00 |
The Reference Net Workshop - Refactoring Plug-in |
orphan
|
| renew-svn |
2.5-2 |
1 |
0.00 |
The Reference Net Workshop - SvnLibs Plug-in |
orphan
|
| renew-tablet |
2.5-2 |
1 |
0.00 |
The Reference Net Workshop - Tablet Plug-in |
orphan
|
| renew-xrn |
2.5-2 |
1 |
0.00 |
The Reference Net Workshop - XRN Plug-in |
orphan
|
| snoopy |
2019.12.20-2 |
0 |
0.00 |
software tool to design and animate hierarchical graphs, among others Petri nets |
edjopato
|
| tina-tpn |
3.6.0-0 |
0 |
0.00 |
TIme Petri Net Analyzer |
not_schur
|
| workcraft |
3.3.2-2 |
0 |
0.00 |
A framework for interpreted graph models including petri nets and STGs |
ARandomOWL
|
| workcraft-git |
r2436.26f5b52-1 |
0 |
0.00 |
A framework for interpreted graph models including petri nets and STGs |
ARandomOWL
|
| petri-foo |
0.1.87-2 |
8 |
0.00 |
A fork of specimen, a MIDI controllable audio sampler, for JACK. |
masutu
|
| petrified |
2.0.3-1 |
4 |
0.00 |
Bash client to update dynamic DNS at freedns.afraid.org |
troyengel
|
| petrified-systemd |
2.0.3-1 |
4 |
0.00 |
Unit files for petrified systemd usage |
troyengel
|