Linux

F*

F * adalah bahasa pengaturcaraan berfungsi seperti ML yang bertujuan untuk pengesahan program.F * boleh menyatakan spesifikasi yang tepat untuk program, termasuk sifat ketepatan fungsian.Program yang ditulis dalam F * boleh diterjemahkan ke OCaml atau F # untuk pelaksanaan.

Percuma
Web
Windows
Mac
Linux

IDECO ICS

Gerbang berasaskan Linux untuk SMB dengan aksen mengenai keselamatan.Dengan mudah menggunakan alat konfigurasi berasaskan web.Dengan banyak ciri tambahan seperti pelayan mel, pelayan VPN, pembentukan lalu lintas, DPI, antivirus trafik dan sebagainya.

Freemium
Self-Hosted
Linux

Dzen

Dzen adalah pesanan pemesejan umum, pemberitahuan dan program menu untuk X11.

Percuma
Linux

112

Plesk

Plesk adalah platform WebOps yang terkemuka untuk menjalankan, mengautomasikan dan mengembangkan aplikasi, laman web dan perniagaan hosting di lebih daripada 32 bahasa di seluruh 140 negara di dunia.

Justniffer

justniffer adalah sniffer TCP.Ia menyusun semula dan mengemas kini paket dan memaparkan aliran tcp dengan cara yang disesuaikan.Ia boleh log trafik rangkaian dalam format log pelayan web.Ia juga boleh log persembahan perkhidmatan rangkaian dan mengekstrak kandungan http.

Percuma
Linux

Arora

Arora adalah penyemak imbas web sumber terbuka lintas platform menggunakan enjin rendering WebKit, yang dibina di atas Qt.

Percuma
Windows
Mac
Linux
BSD
Haiku

Imagus

Pelanjutan ini bertujuan untuk melengkapi ciri-ciri imej yang (saya fikir) hilang dari Opera secara lalai atau memberikan ciri-ciri yang semata-mata berguna.Hover zoom

ExifTool

ExifTool adalah perpustakaan Perl yang bebas platform ditambah aplikasi baris perintah untuk membaca, menulis dan mengedit maklumat meta dalam pelbagai jenis fail.

Percuma
Windows
Mac
Linux

ex.fm

Exfm memusingkan seluruh web ke dalam pustaka muzik peribadi anda.Semasa anda menyemak imbas, exfm berjalan di indeks latar belakang setiap fail MP3 yang anda jumpai, membina perpustakaan muzik untuk anda.

POSper

POSper adalah Sistem Point of Sale (POS) dengan sokongan skrin sentuh yang direka untuk perniagaan kecil.

Percuma
Windows
Mac
Linux

Min

Min adalah penyemak imbas yang pantas dan minimum yang melindungi privasi anda.Ia termasuk antara muka yang direka untuk mengurangkan gangguan, dan ciri-ciri seperti:

Percuma
Windows
Mac
Linux

spotifyd

Spotifyd adalah alternatif yang tidak bersemangat untuk klien spotify rasmi untuk linux.Ia menggunakan model klien / pelayan yang sama seperti MPD yang popular.

Percuma
Linux

Soundseeder

Dengarkan muzik anda pada berbilang peranti dalam segerintal berkongsi muzik anda dengan rakan-rakanBangun sistem audio berbilang ruang bebasDambungkan sehingga 16 peranti serentak

Berbayar
Windows
Linux
Android

zplug

Pengurus plugin generasi akan datang untuk zsh.

Percuma
zsh
Mac
Linux
BSD

Islanded

Berjerat adalah permainan Sandwic Nature Sandbox, berdasarkan interaksi dengan sifat untuk bertahan hidup.

Berbayar
Windows
Mac
Linux

EOS

EOS.IO adalah protokol blockchain yang dikuasai oleh EOS cryptocurrency asli.Protokol ini meniru sebahagian besar atribut komputer sebenar termasuk perkakasan dengan sumber pengkomputeran yang diedarkan sama rata di kalangan pemegang cryptocurrency EOS.