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
|