Blog

In this tutorial we learn how to install minlog on Ubuntu. minlog is Proof assistant based on first order natural deduction calculus

In this tutorial we learn how to install minizip on Ubuntu. minizip is compression library - minizip tools

In this tutorial we learn how to install minizinc-ide on Ubuntu. minizinc-ide is MiniZinc constraint modelling language IDE

In this tutorial we learn how to install minizinc on Ubuntu. minizinc is constraint modelling language and tool chain

In this tutorial we learn how to install miniupnpd-nftables on Ubuntu. miniupnpd-nftables is UPnP and NAT-PMP daemon for gateway routers - nftables backend

In this tutorial we learn how to install miniupnpd-iptables on Ubuntu. miniupnpd-iptables is UPnP and NAT-PMP daemon for gateway routers - legacy iptables backend

In this tutorial we learn how to install miniupnpd on Ubuntu. miniupnpd is UPnP and NAT-PMP daemon for gateway routers

In this tutorial we learn how to install miniupnpc on Ubuntu. miniupnpc is UPnP IGD client lightweight library client

In this tutorial we learn how to install minitube on Ubuntu. minitube is Native YouTube client

In this tutorial we learn how to install ministocks on Ubuntu. ministocks is minimalistic QT stock ticker for Linux

In this tutorial we learn how to install ministat on Ubuntu. ministat is simple tool for statistical comparison of data sets

In this tutorial we learn how to install minissdpd on Ubuntu. minissdpd is keep memory of all UPnP devices that announced themselves