Programari lliure o software lliure es refereix al programari que es pot distribuir, utilitzar i modificar lliurement.

En general, es pot dir que un programa és de distribució lliure ha de permetre aquestes quatre llibertats:

* La llibertat d'executar el programa per qualsevol propòsit (llibertat 0).
* La llibertat de veure com funciona el programa i adaptar-lo a les necessitats pròpies (llibertat 1). L'accés al codi font és un requisit.
* La llibertat de redistribuir còpies (llibertat 2)
* La llibertat de millorar el programa i de distribuir-lo de nou amb les millores realitzades, per tal que tota la comunitat se'n pugui beneficiar (llibertat 3). Igual que a la llibertat 1, l'accés al codi font és un requisit.

De fet, existeixen diverses definicions de programari lliure i diversos tipus de llicències per la seva distribució. Generalment, les principals variacions entre llicències solen ser els termes exactes i les condicions imposades en la redistribució de còpies modificades del programa. Cal dir que la majoria de llicències admeten que un programa lliure es pugui distribuir també comercialment (és a dir, pagant). En canvi, un programa que es distribueixi gratuïtament però sense codi no es sol considerar lliure. L'èmfasi del terme lliure és en la disponibilitat del codi i la possibilitat de modificar-lo.

Alguns dels exemples més coneguts de programari lliure són els sistemes operatius basats en Linux i BSD, els entorns gràfics KDE i Gnome, el navegador Mozilla i el Mozilla Firefox, l'aplicació ofimàtica OpenOffice i el programa de tractament de gràfics GIMP.