Blog

In this tutorial we learn how to install proofgeneral on Ubuntu. proofgeneral is generic frontend for proof assistants

In this tutorial we learn how to install pronterface on Ubuntu. pronterface is Graphical 3D printer host

In this tutorial we learn how to install pronsole on Ubuntu. pronsole is Command-line 3D printer host

In this tutorial we learn how to install prometheus on Ubuntu. prometheus is monitoring system and time series database

In this tutorial we learn how to install prolix on Ubuntu. prolix is tool to interactively filter chatty command output

In this tutorial we learn how to install prokka on Ubuntu. prokka is rapid annotation of prokaryotic genomes

In this tutorial we learn how to install projectl on Ubuntu. projectl is sword action shooting

In this tutorial we learn how to install projecteur on Ubuntu. projecteur is virtual laser pointer for Logitech Spotlight devices

In this tutorial we learn how to install projectcenter.app on Ubuntu. projectcenter.app is IDE for GNUstep Development

In this tutorial we learn how to install progvis on Ubuntu. progvis is Program visualization tool for C/C++ (and others)

In this tutorial we learn how to install proguard on Ubuntu. proguard is Java class file shrinker, optimizer, and obfuscator

In this tutorial we learn how to install progressivemauve on Ubuntu. progressivemauve is multiple genome alignment algorithms