Linux

Coq

Coq

Coq jest asystentem dowodów, który pozwala pisać matematyczne dowody w sposób rygorystyczny i formalny oraz sprawdzać poprawność przez komputer.
SendSpace

SendSpace

SendSpace to najlepszy sposób na wysyłanie dużych plików, które są zbyt duże dla załączników e-mail do znajomych, rodziny i firm w dowolnym miejscu na świecie.
YamiPod

YamiPod

YamiPod to przenośna darmowa aplikacja do efektywnego zarządzania iPodem w systemach Mac OS X, Windows i Linux.Można go uruchomić bezpośrednio z iPoda i nie wymaga instalacji.
HTTP Nowhere

HTTP Nowhere

Przekierowuje strony internetowe korzystające z HTTP do stron internetowych korzystających z HTTPS
AllAccounts

AllAccounts

AllAccounts to rozszerzenie, które umożliwia Firefoxowi łączenie się ze stronami internetowymi przy użyciu różnych nazw użytkowników.Dawniej znany jako Multifox 2 (BETA).
Gmail Offline

Gmail Offline

Alternatywny interfejs dla Gmaila z obsługą offline.
Grappl

Grappl

Grappl to narzędzie, które pozwala hostować praktycznie dowolny typ serwera w dowolnym miejscu, bez przekierowywania portów!
DCrypt

DCrypt

DCrypt to narzędzie do szyfrowania i deszyfrowania, które w inteligentny sposób łączy wiele algorytmów.
Worker

Worker

Worker to menedżer plików dla systemu X Window w systemie UN * X o niskich wymaganiach (w zasadzie tylko biblioteki X11).
Live HTTP Headers

Live HTTP Headers

Celem tego projektu jest dodanie informacji o nagłówkach HTTP na trzy sposoby: Po pierwsze poprzez dodanie karty „Nagłówki” w „Wyświetl informacje o stronie” strony internetowej.
LaZagne

LaZagne

LaZagne to aplikacja typu open source służąca do wyszukiwania haseł przechowywanych na komputerze lokalnym.
Modelio

Modelio

Modelio to narzędzie do modelowania open source obsługujące natywnie UML, BPMN i wymianę modeli z XMI.
GNU Libtool

GNU Libtool

GNU Libtool to narzędzie programistyczne z systemu kompilacji GNU służące do tworzenia przenośnych bibliotek skompilowanych.
Gregarius

Gregarius

Gregarius to internetowy agregator wiadomości RSS / RDF / ATOM zawierający import / eksport OPML, wyjście XHTML / CSS i oparty na AJAX system oznaczania przedmiotów.
Cottontracks

Cottontracks

Jedyna historia przeglądarki, którą będziesz chciał zachować.
Linux Extcalc

Linux Extcalc

Extcalc to naukowy kalkulator dla systemu Linux, który oferuje intuicyjny interfejs użytkownika oparty na Qt, operacje na matrycy, wykreślanie wykresów 2D i 3D oraz skrypty przy użyciu C-podobnego ...
I'm Feeling Lucky

I'm Feeling Lucky

Dostęp Czuję się szczęśliwy z paska adresu!Wpisz „” i naciśnij klawisz Tab. Uzyskaj dostęp do Google „Mam szczęście” z paska adresu Chrome.
eCleaner

eCleaner

Tego dodatku można użyć do wyczyszczenia wszystkich preferencji pozostawionych przez rozszerzenia po odinstalowaniu, wszystkich śmieci, których niektórzy programiści nie dbają o wyczyszczenie się na swoich ...