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) |
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) |
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) |
lola1
|
1.18-1 |
1 |
0.00
|
A Low Level Petri Net Analyzer |
JonnyJD
|
2018-04-11 21:56 (UTC) |
mint-backgrounds-petra
|
1.7-2 |
4 |
0.38
|
The backgrounds included in Linux Mint 16 Petra |
volker.raschek
|
2020-01-04 21:18 (UTC) |
perp
|
2.07-2 |
0 |
0.00
|
Perp, aka the perpetrator, a persistent process supervisor. |
robertfoster
|
2017-11-18 19:51 (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) |
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) |
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) |
pnapi
|
4.03-1 |
2 |
0.00
|
C++ library encapsulating Petri net-related functions |
JonnyJD
|
2018-04-11 22:01 (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) |
tina-tpn
|
3.7.5-1 |
0 |
0.00
|
TIme Petri Net Analyzer |
not_schur
|
2023-08-31 10:09 (UTC) |
ttf-montepetrum
|
1-5 |
1 |
0.00
|
A very tall, narrow, thin, sans serif font. |
SanskritFritz
|
2021-12-01 20:42 (UTC) |
ttf-pacifico
|
3.000-2 |
4 |
0.24
|
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) |
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) |
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) |
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) |
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) |