Sie sind hier: Download > Updates > Apple

Ermöglicht das Hinzufügen von Propositionen und Beweisen in die freie und dezentrale Wissensbasis des Hilbert-II-Projekts und überprüft die hinzugefügten Beweise automatisch auf Korrektheit; die Wissensbasis enthält mathematische Sätze und Beweise in formal korrekter Form, wobei versucht wird, die übliche mathematische Argumentation in eine formale Syntax (im QEDEQ-Format) zu überführen

Jetzt kommentieren

Fügt Text-Formularen im Browser einen "Edit"-Button hinzu, der das Feld mit einem externen Editor verknüpft; speichert der Anwender den Text im externen Editor, so wird auch das Formularfeld im Browser gefüllt; besonders nützlich zum Schreiben längerer Beiträge in Blogs, Wikis oder Content-Management-Systemen; Tipps für den Einsatz bei Mac OS X gibt es hier

Jetzt kommentieren

Genealogie-Programm für GNOME/GTK+; ermöglicht die Verwaltung von Familienstammbäumen mit den benötigten Daten über Personen, Familien, Orte und Quellen sowie die Erstellung von Berichten und Webseiten; unterstützt GEDCOM; es gibt nur offiziellen Support für die Linux-Version. Download schnell und sicher von heise.de

Jetzt kommentieren

Programm zur Verwaltung, Konvertierung und Synchronisation von E-Books; legt eine Bibliothek mit eigenen E-Books an, konvertiert zwischen gängigen Formaten, enthält einen E-Book-Viewer und synchronisiert den eigenen Bestand mit E-Book-Readern; erlaubt das Erstellen eigener E-Books etwa aus Webseiten oder RSS-Feeds heraus und bietet Fernzugriff auf die eigene Bibliothek über den Browser

McGyver777 kommentiert: "Calibre ist fantastisch und absolut empfehlenswert. Großen Dank an..."

JavaScript-Anwendungsframework zur Entwicklung skalierbarer Netzwerk-Programme; die mit Events kommunizierende Software sorgt für Nebenläufigkeit bei I/O-Operationen sowie die gleichzeitige Verarbeitung mehrerer Client-Verbindungen; unterstützt moderne Webanwendungen mit vielen parallelen Informationsströmen; weitere Informationen auf der Detailseite

Thales21 kommentiert: "Kommunikation über Websockets ist wohl auch möglich, d.h. Server..."

Werbe-Blocker für den Web-Browser Safari; als HTTP-Proxy beruht er auf einer anderen Technik als die in Safari implementierten Standardblocker, die oft Probleme verursachen. Download schnell und sicher von heise.de

Jetzt kommentieren

Hex-Editor mit Funktionen wie Vergleichen von Code-Pages, interaktives Definieren einer Datei-Grammatik zum leichteren Analysieren von Binärdateien, Copy/Paste, Histogramm-Anzeige, inkrementelle Suche nach Strings, Zahlen oder Masken, Anzeige aller Strings einer Datei und Druckfunktion; eignet sich zum Modellieren und Validieren von binären Dateiformaten. Download schnell und sicher von heise.de

Jetzt kommentieren

Bearbeitet die Farbgebung von Videodateien; verwandelt beispielsweise Farbfilme in Schwarzweiß-Filme. Vollversion beim Anbieter erhältlich

Jetzt kommentieren

Verändert die Farben von Fotos auf iOS-Geräten; bietet zwei verschiedene Modi: der Color Slide Mode taucht das komplette Bild in eine andere Farbe, der Mask Mode bietet Funktionen zum freien Auswählen von Bereichen, die von der Umgestaltung ausgespart werden sollen, um besondere Effekte zu erzielen. Vollversion beim Anbieter erhältlich

Jetzt kommentieren

App für Naturfreunde zum Bestimmen von Baumsorten, deren wichtigsten Merkmale in knappen Steckbriefen zusammengefasst werden; die Basisversion listet die 53 häufigsten Laubbäume Deutschlands sowie Bäume des Mittelmeerraums auf; weitere Laub- sowie Nadelbäume können für je 0,79 EUR nachgekauft werden. Vollversion beim Anbieter erhältlich

Jetzt kommentieren

Versionskontrollsystem der Kategorie "verteilte Quellcode-Management-Anwendungen" zum Verwalten von Projekten; jedes Git-Arbeitsverzeichnis ist ein komplettes Depot mit Historie und vollständiger Änderungsnachverfolgung, ohne zentralen Server- oder Netzwerkzugriff; dient in der Open-Source-Szene oft als Entwicklungsplattform, unter anderem für den Linux-Kernel, Ruby on Rails oder Wine

jojoax kommentiert: "Einfach genial, das Git Leider ist die Präsentation von Git im Heise..."

Findet Duplikate in einzelnen oder multiplen iTunes-Musikbibliotheken und löscht diese; überprüft auch Bibliotheken in lokalen Netzwerken und verwaltet absichtlich doppelte Tracks

Jetzt kommentieren

MIB-Browser für Administratoren zum Verwalten von SNMP-fähigen Netzwerkgeräten und -anwendungen; lädt sämtliche Informationen aus der Management Information Base (MIB) und enthält einen Receiver zum Empfangen spezieller SNMP-Traps (Netzwerk-Daten); auch als erweiterte Professional-Version erhältlich

Jetzt kommentieren

Web-basiertes Groupwaresystem für die Zusammenarbeit an Geschäftsprojekten; bietet Übersicht über Adressen sowie Termine und erlaubt das Bestätigen, Teilen sowie Zuweisen von Aufgaben; umfasst Groupware, VoIP-Integration, ActiveSync Push, Customer Relationship Management (CRM) sowie Dateiverwaltung. Download schnell und sicher von heise.de

bitkobold kommentiert: "Leicht zu installieren, bringt alles wesentliche für kleinere..."

Firefox-Erweiterung, mit der sich wichtige Programmfunktionen über verschiedene Mausgesten ausführen lassen

S1000RR kommentiert: "Surfen wird schneller wenn man die Bewegungen erstmal gelernt hat, was..."

Erlaubt das Zeichnen von UML-Klassen und Sequenzdiagrammen

Jetzt kommentieren

PHP-basiertes Administrations- und Entwicklungs-Frontend für MySQL; kann unter anderem Datenbanken, Tabellen und Felder erstellen, bearbeiten, entfernen oder verwalten

Jetzt kommentieren

Qt-basiertes Komponenten-Framework für C++; implementiert ein eigenes Komponenten-Modell und ermöglicht dessen visuelle Bearbeitung; enthält Bibliotheken mit Implementierungen gängiger Design-Pattern sowie standardisierter Bausteine. Download schnell und sicher von heise.de

Jetzt kommentieren

Tool zur Zugriffs- und Datenanalyse von Server-Logs, zur Schwachstellenanalyse von Webpräsenzen sowie zur Überwachung von Netzwerksicherheit und Performance. Download schnell und sicher von heise.de

Jetzt kommentieren

Newsreader zum automatischen Herunterladen von Usenet-Beiträgen; unterstützt das NZB-Format, repariert, überprüft und entpackt Downloads

Jetzt kommentieren