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