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) |
perp
|
2.07-2 |
0 |
0.00
|
Perp, aka the perpetrator, a persistent process supervisor. |
robertfoster
|
2017-11-18 19:51 (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) |
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) |
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) |
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) |
lola1
|
1.18-1 |
1 |
0.00
|
A Low Level Petri Net Analyzer |
JonnyJD
|
2018-04-11 21:56 (UTC) |
ttf-montepetrum
|
1-5 |
1 |
0.00
|
A very tall, narrow, thin, sans serif font. |
SanskritFritz
|
2021-12-01 20:42 (UTC) |
pnapi
|
4.03-1 |
2 |
0.00
|
C++ library encapsulating Petri net-related functions |
JonnyJD
|
2018-04-11 22:01 (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) |
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) |
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) |
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) |
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) |