Linux

F*

F * je funkční programovací jazyk typu ML zaměřený na ověření programu.F * může vyjadřovat přesné specifikace programů, včetně funkčních vlastností správnosti.Programy napsané v F * mohou být přeloženy do OCaml nebo F # pro provedení.

Zdarma
Web
Windows
Mac
Linux

IDECO ICS

Linuxová brána pro malé a střední podniky s důrazem na zabezpečení.Díky snadno použitelnému webovému konfiguračnímu nástroji.Se spoustou dalších funkcí, jako je poštovní server, server VPN, tvarování provozu, DPI, přenosový antivirus atd.

Freemium
Self-Hosted
Linux

Dzen

Dzen je univerzální program pro zasílání zpráv, oznámení a nabídky pro X11.

Zdarma
Linux

112

Plesk

Plesk je přední platforma WebOps pro běh, automatizaci a růst aplikací, webů a hosting firem ve více než 32 jazycích ve 140 zemích světa.

Justniffer

justniffer je TCP sniffer.To znovu sestavuje a přeskupuje pakety a zobrazuje tok tcp přizpůsobitelným způsobem.Může protokolovat síťový provoz ve formátu protokolu webového serveru.Může také protokolovat výkony síťových služeb a extrahovat obsah http.

Zdarma
Linux

Arora

Arora je webový prohlížeč s otevřeným zdrojovým kódem napříč platformami využívající vykreslovací modul WebKit postavený na vrcholu Qt.

Zdarma
Windows
Mac
Linux
BSD
Haiku

Imagus

Účelem rozšíření je doplnit obrazové funkce, které (myslím) ve výchozím nastavení Opera chybí, nebo poskytnout funkce, které jsou jednoduše užitečné.Přiblížení kurzoru

ExifTool

ExifTool je platforma nezávislá na knihovně Perl plus aplikace příkazového řádku pro čtení, zápis a editaci meta informací v široké škále souborů.

Zdarma
Windows
Mac
Linux

ex.fm

Exfm změní celý web do vaší osobní hudební knihovny.Při procházení exfm běží na pozadí a indexuje každý soubor MP3, na který narazíte, a vytváří pro vás hudební knihovnu.

POSper

POSper je systém Point Of Sale (POS) s podporou dotykové obrazovky určený pro malé firmy.

Zdarma
Windows
Mac
Linux

Min

Min je rychlý, minimální prohlížeč, který chrání vaše soukromí.Obsahuje rozhraní navržené k minimalizaci rozptylování a funkce jako:

Zdarma
Windows
Mac
Linux

spotifyd

Spotifyd je bezohledná alternativa k oficiálnímu Spotify klientovi pro linux.Používá stejný model klient / server jako populární MPD.

Zdarma
Linux

Soundseeder

Poslouchejte hudbu na více zařízeních v synchronizaci a sdílejte hudbu s přáteliVystavte bezplatný audiosystém s více místnostmiPřipojte až 16 zařízení současně

Placená
Windows
Linux
Android

zplug

Správce pluginů nové generace pro zsh.

Zdarma
zsh
Mac
Linux
BSD

Islanded

Islanded je hra Survival Nature Sandbox založená na interakci s přírodou, aby přežila.

Placená
Windows
Mac
Linux

EOS

EOS.IO je blockchainový protokol založený na nativní kryptoměně EOS.Protokol emuluje většinu atributů skutečného počítače včetně hardwaru s výpočetními prostředky rovnoměrně distribuovanými mezi držiteli kryptoměny EOS.