|
dune-typetree
|
2.9.1-1 |
1 |
0.00
|
Template library for constructing and operating on statically typed trees of objects |
PrinceMachiavell
|
2023-12-17 19:09 (UTC) |
|
verifytapn-git
|
a12a596-1 |
0 |
0.00
|
VerifyTAPN is a stand-alone verification engine for timed-arc Petri nets, developed for the verification tool TAPAAL. |
orphan
|
2023-10-26 10:02 (UTC) |
|
tina-tpn
|
3.7.5-1 |
0 |
0.00
|
TIme Petri Net Analyzer |
not_schur
|
2023-08-31 10:09 (UTC) |
|
snoopy
|
2022.08.27-1 |
0 |
0.00
|
software tool to design and animate hierarchical graphs, among others Petri nets |
edjopato
|
2023-07-13 01:01 (UTC) |
|
petrified
|
2.0.3-2 |
5 |
0.00
|
Bash client to update dynamic DNS at freedns.afraid.org |
troyengel
|
2022-08-05 13:47 (UTC) |
|
petrified-systemd
|
2.0.3-2 |
5 |
0.00
|
Unit files for petrified systemd usage |
troyengel
|
2022-08-05 13:47 (UTC) |
|
fuel-git
|
2.0.0.r0.2602df1-1 |
0 |
0.00
|
With this CLI Tool, Fuel Price list information is instantly retrieved by city group. Price List information is printed on the screen by Parse instantly from Petrolofisi.com.tr |
berk
|
2022-07-29 08:26 (UTC) |
|
ttf-montepetrum
|
1-5 |
1 |
0.00
|
A very tall, narrow, thin, sans serif font. |
SanskritFritz
|
2021-12-01 20:42 (UTC) |
|
workcraft
|
3.3.5-1 |
0 |
0.00
|
A framework for interpreted graph models including petri nets and STGs |
ARandomOWL
|
2021-09-26 09:01 (UTC) |
|
ttf-pacifico
|
3.000-2 |
4 |
0.37
|
Pacifico is an original and fun brush script handwriting font by Vernon Adams which was inspired by the 1950s American surf culture. It was redrawn by Jacques Le Bailly and expanded to Cyrillic by Botjo Nikoltchev and Ani Petrova. |
maxdy
|
2021-05-25 16:05 (UTC) |
|
petri-foo-git
|
r226.5e73217-1 |
0 |
0.00
|
A fork of specimen, a MIDI controllable audio sampler, for JACK. sollapse fork. |
milkii
|
2021-01-10 00:45 (UTC) |
|
ziplib-git
|
0.1-1 |
0 |
0.00
|
Petr Beneš C++11 library for working with Zip archives with ease. |
tyls
|
2020-05-08 23:09 (UTC) |
|
mint-backgrounds-petra
|
1.7-2 |
4 |
0.59
|
The backgrounds included in Linux Mint 16 Petra |
volker.raschek
|
2020-01-04 21:18 (UTC) |
|
petrify
|
5.2-1 |
4 |
0.00
|
A tool for synthesis of Petri Nets and asynchronous circuits |
not_schur
|
2019-06-07 16:33 (UTC) |
|
lightdm-webkit-theme-petrichor-git
|
2.0.r2.g8074f7d-1 |
4 |
0.00
|
Simple and tidy theme for LightDM's webkit2 greeter |
phillid
|
2018-10-09 06:56 (UTC) |
|
pnapi
|
4.03-1 |
2 |
0.00
|
C++ library encapsulating Petri net-related functions |
JonnyJD
|
2018-04-11 22:01 (UTC) |
|
lola1
|
1.18-1 |
1 |
0.00
|
A Low Level Petri Net Analyzer |
JonnyJD
|
2018-04-11 21:56 (UTC) |
|
perp
|
2.07-2 |
0 |
0.00
|
Perp, aka the perpetrator, a persistent process supervisor. |
robertfoster
|
2017-11-18 19:51 (UTC) |
|
workcraft-git
|
r2436.26f5b52-1 |
0 |
0.00
|
A framework for interpreted graph models including petri nets and STGs |
ARandomOWL
|
2016-10-25 11:23 (UTC) |
|
petri-foo
|
0.1.87-2 |
7 |
0.00
|
A fork of specimen, a MIDI controllable audio sampler, for JACK. |
masutu
|
2015-07-06 20:46 (UTC) |