Browsing German translation

Before translating, be sure to go through Ubuntu Translators instructions and German guidelines.

• Download translation
• Translation details

329 → 338 of 54563 results First • Previous • Next • Last
	329.	English:		Agave is a very simple application for the GNOME desktop that allows you to generate a variety of colorschemes from a single starting color.
				Description
Current German:				Agave ist eine sehr einfache Anwendung für die GNOME-Arbeitsfläche, die es Ihnen erlaubt, eine Vielzahl von Farbschemata aus einer einzigen Startfarbe zu erstellen.
				Translated by Michael Vogt on 2008-08-12
				Located in Package: agave
	330.	English:		Commandline interface to Agda
				Summary
Current German:				Kommandozeilenoberfläche zu Agda
				Translated and reviewed by Hendrik Schrieber on 2011-02-21
				Located in Package: agda-bin
	331.	English:		This package provides a command-line program for type-checking and compiling Agda programs. The program can also generate hyperlinked, highlighted HTML files from Agda sources.
				Description
Current German:				Dieses Paket enthält ein Befehlszeilenprogramm für das Prüfen und Kompilieren von »Agda«-Programmen. Das Programm kann ebenfalls verknüpfte und hervorgehobene HTML-Dateien aus »Agda«-Quellen erstellen.
				Translated and reviewed by Daniel Schury on 2011-08-23
				Located in Package: agda-bin
	332.	English:		the emacs mode for Agda
				Summary
Current German:				Emacs-Modus für Agda
				Translated and reviewed by Hendrik Schrieber on 2011-02-22
				Located in Package: agda-mode
	333.	English:		This package contains the emacs interactive development mode for Agda. This mode is the preferred way to write Agda code, and offers features such as iterative development, refinement, case analysis and so on.
				Description
Current German:				Dieses Paket enthält den interaktiven Emacs-Entwicklungsmodus für Agda. Dieser Modus ist der bevorzugte Weg, um Agda-Quelltext zu schreiben, und bietet Möglichkeiten wie iterartive Entwicklung, Vervollständigung, Fall-Analyse und so weiter.
				Translated and reviewed by Hendrik Schrieber on 2012-03-12
				Located in Package: elpa-agda2-mode
	334.	English:		a dependently typed programming language - standard library
				Summary
Current German:				Eine abhängig typisierte Programmiersprache – Standardbibliothek
				Translated and reviewed by Hendrik Schrieber on 2012-04-12
				Located in Package: agda-stdlib
	335.	English:		This package contains the complete library.
				Description
Current German:				Dieses Paket beinhaltet die komplette Bibliothek.
				Translated by Marijo Mustac on 2010-09-14
				Reviewed by Hendrik Schrieber on 2010-09-23
				Located in Package: agda-stdlib
	336.	English:		a dependently typed programming language - documentation
				Summary
Current German:				Eine abhängig typisierte Programmiersprache – Dokumentation
				Translated and reviewed by Hendrik Schrieber on 2012-04-12
				Located in Package: agda-stdlib-doc
	337.	English:		The Agda standard library contains modules for many common data structures and proof patterns. Modules provided include: - Algebra: Specifying and reasoning about abstract algebraic structures - Category: Using idioms from category theory to structure functional programs - Coinduction: Support for programming coindutively - Data: Data types and properties about data types - Foreign: Relating to the foreign function interface - Induction: A general framework for induction - IO: Input/output related functions - Level: Universe levels - Relations: Properties of and proofs about relations - Size: Sizes used by the sized types mechanism
				Description
				represents a line break. Start a new line in the equivalent position in the translation.
				represents a space character. Enter a space in the equivalent position in the translation.
Current German:				Die Agda-Standardbibliothek enthält Module für viele verbreitete Datenstrukturen und Beweismuster. Die zur Verfügung gestellten Module beinhalten: - Algebra: Angeben und Nachdenken über abstrakte algebraische Strukturen - Kategorie: Nutzung von Redewendungen aus der Kategorie Theorie zum Strukturieren funktionaler Programme - Coinduktion: Unterstützung für leitendes Programmieren - Daten: Datentypen und Eigenschaften zu Datentypen - Foreign: Bezogen auf die Foreign Funktionsschnittstelle (Foreign Function Interface) - Induktion: Ein generelles Rahmenwerk für Induktion - IO: Ein-/Ausgabe-bezogene Funktionen - Ebenen: Universe-Ebene - Relationen: Eigenschaften von und Beweise über Relationen - Größen: Größen, die vom Größentyp Mechanismus genutzt werden
				Translated and reviewed by Hendrik Schrieber on 2012-04-24
				Located in Package: agda-stdlib-doc Package: agda-stdlib
	338.	English:		This package contains the hyperlinked library documentation.
				Description
Current German:				Dieses Paket enthält die verlinkte Bibliotheksdokumentation.
				Translated and reviewed by Daniel Schury on 2011-05-19
				Located in Package: agda-stdlib-doc

This translation is managed by Ubuntu German Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.

Contributors to this translation: Alexander Hartl, Björn Ternes, Carlos Perelló Marín, Carsten Gerlach, Christian Flasche, Christoph Gerlach, Daniel, Daniel Schury, Daniel Winzen, David Ayers, Denise Tiersch, Dennis Baudys, Dr. Peter Netz, Eduard Gotwig, Florian Greinus, Frank Sagner, Ghenrik, Hendrik Schrieber, Jakob Kramer, Jan Simon, Johannes Storm, Jonas Endersch, Jonathan Kolberg, Joshua Feis, Jürgen Schwarze, Laurent Kap, Lucas Meyer, Lukas Bögelein, MJJoker, Manfred Wiktorin, Marc Rodrigues, Marijo Mustac, Mark Mahler, Marsu, Martin Weil, Max Wiedenmann, Michael Steuernagel, Michael Vogt, Moritz Baumann, Nico Bauer, Niko K, Oliver Duerre, Pascal De Vuyst, Phil Krämer, Rajek, Robin, Ronald Müller, Sascha, Severin H, Simeon, Startlett, Stefan Gebhardt, Stephan Woidowski, Steve Langasek, Sven Seelbach, Thomas Schwiertz, Tobias Bannert, Torsten Franz, ctx, dstaubsauger, greenscandic, hpeck, kilaviljenn, scrawl, shilbert, stepstra, Łukasz Zemczak.