Linux

Coq

Coq

Coq, matematiksel kanıtları titiz ve resmi bir şekilde yazmanıza ve bilgisayar tarafından doğru olup olmadığını kontrol etmenize izin veren bir kanıt asistanıdır.
SendSpace

SendSpace

SendSpace, dünyanın herhangi bir yerindeki arkadaşlarınıza, ailenize ve işletmelerinize e-posta ekleri için çok büyük olan büyük dosyaları göndermenin en iyi yoludur.
YamiPod

YamiPod

YamiPod, iPod'unuzu Mac OS X, Windows ve Linux altında verimli bir şekilde yönetmek için taşınabilir bir ücretsiz uygulamadır.Doğrudan iPod'unuzdan çalıştırılabilir ve kurulum gerektirmez.
HTTP Nowhere

HTTP Nowhere

HTTP kullanan web sitelerini HTTPS kullanan web sitelerine yönlendirir
AllAccounts

AllAccounts

AllAccounts, Firefox'un farklı kullanıcı adları kullanarak web sitelerine bağlanmasına izin veren bir uzantıdır.Eskiden Multifox 2 (BETA) olarak biliniyordu.
DomotiGa

DomotiGa

Gmail Offline

Gmail Offline

Çevrimdışı destekli Gmail için alternatif arayüz.
Grappl

Grappl

Grappl, herhangi bir bağlantı noktası yönlendirmesi olmadan neredeyse her tür sunucuyu her yerde barındırmanızı sağlayan bir araçtır!
DCrypt

DCrypt

DCrypt, çoklu algoritmaları akıllı bir şekilde birleştiren bir şifreleme ve şifre çözme aracıdır.
Worker

Worker

Çalışan, düşük gereksinimleri olan (temelde yalnızca X11 kütüphaneleri) UN * X üzerinde X Pencere Sistemi için bir dosya yöneticisidir.
Live HTTP Headers

Live HTTP Headers

Bu projenin amacı, HTTP üstbilgileri hakkında üç şekilde bilgi eklemektir: İlk olarak bir web sayfasının 'Sayfa Bilgilerini Görüntüle' alanına bir 'Üstbilgiler' sekmesi ekleyerek.
LaZagne

LaZagne

LaZagne, yerel bir bilgisayarda saklanan şifreleri almak için kullanılan açık kaynaklı bir uygulamadır.
Modelio

Modelio

Modelio, yerel UML, BPMN ve XMI ile model değişimini destekleyen açık kaynaklı bir modelleme aracıdır.
GNU Libtool

GNU Libtool

GNU Libtool, taşınabilir derlenmiş kütüphaneler oluşturmak için kullanılan GNU derleme sisteminden bir programlama aracıdır.
Gregarius

Gregarius

Gregarius, OPML içe / dışa aktarma, XHTML / CSS çıktısı ve AJAX tabanlı bir öğe etiketleme sistemi içeren Web tabanlı bir RSS / RDF / ATOM haber toplayıcısıdır.
Cottontracks

Cottontracks

Saklamak isteyeceğiniz tek tarayıcı geçmişi.
Linux Extcalc

Linux Extcalc

Extcalc, sezgisel, Qt tabanlı bir kullanıcı arayüzü, matris işlemleri, 2D ve 3D grafiklerin çizilmesi ve C benzeri bir komut dosyası kullanarak linux için bilimsel bir hesap makinesidir ...
I'm Feeling Lucky

I'm Feeling Lucky

Erişim adres çubuğundan şanslı hissediyorum!'' Yazın ve Tab tuşuna basın. Google'ın 'Kendimi Şanslı Hissediyorum' seçeneğine Chrome'un adres çubuğundan erişin.
eCleaner

eCleaner

Bu eklenti, kaldırma işleminden sonra uzantıların bıraktığı tüm tercihleri, bazı geliştiricilerin kendilerini temizlemeyi umursamadıkları tüm çöpleri temizlemek için kullanılabilir ...
pChart

pChart

pChart, kenar yumuşatılmış grafikler oluşturmak için tasarlanmış PHP sınıfı odaklı bir çerçevedir.Bu kütüphaneyi oluştururken, iki anahtar eksene odaklandık: kalite ve hız.