Univention Corporate Client (UCC) ist ein flexibles und effizient verwaltbares Betriebssystem für PCs, Laptops und Thin Clients in Firmen und organisationen, das auf Ubuntu beruht.

Lizenz: Affero General Public License Version 3
Rating:

PDFium ist eine freie PDF-Rendering-Engine. Sie kommt unter anderem im Webbrowser Chromium zum Einsatz.

Lizenz: BSD-Lizenz (Dreiklausel)
Rating:

Das Programm Coq ist ein Beweis-Assistent, der algebraische Sätze behandeln, Beweise mit diesen Sätzen prüfen und ein zertifiziertes Programm aus dem konstruktiven Beweis seiner formalen Spezifikation extrahieren kann.

Lizenz: GNU Lesser General Public License (LGPL)
Rating: