mint-backgrounds-petra
|
1.7-2 |
4 |
0.68
|
The backgrounds included in Linux Mint 16 Petra |
volker.raschek
|
2020-01-04 21:18 (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) |
petrified-systemd
|
2.0.3-2 |
5 |
0.00
|
Unit files for petrified systemd usage |
troyengel
|
2022-08-05 13:47 (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) |
ttf-montepetrum
|
1-5 |
1 |
0.00
|
A very tall, narrow, thin, sans serif font. |
SanskritFritz
|
2021-12-01 20:42 (UTC) |
perp
|
2.07-2 |
0 |
0.00
|
Perp, aka the perpetrator, a persistent process supervisor. |
robertfoster
|
2017-11-18 19:51 (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) |
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) |
tina-tpn
|
3.7.5-1 |
0 |
0.00
|
TIme Petri Net Analyzer |
not_schur
|
2023-08-31 10:09 (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) |
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) |
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
|
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) |
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) |
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) |
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) |
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) |
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) |
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) |