Translations by Mika
Mika has submitted the following strings to this translation. Contributions are visually coded: currently used translations, unreviewed suggestions, rejected suggestions.
147. |
A Computational Logic for Applicative Common Lisp: main binary
|
|
2007-08-20 |
Logique algorithmique pour application Common Lisp: exécutable principa
|
|
2007-08-20 |
Logique de calcul pour application Common Lisp : exécutable principal
|
|
2007-08-20 |
Une logique d'évaluation pour la partie commune applicable à LIST : exécutable principal
|
|
149. |
A Computational Logic for Applicative Common Lisp: compiled libraries
|
|
2007-08-20 |
Logique algorithmique pour application Common Lisp: librairies compilées
|
|
2007-08-20 |
Logique de calcul pour application Common Lisp : librairies compilées
|
|
151. |
A Computational Logic for Applicative Common Lisp: library certificates
|
|
2007-08-20 |
Logique algorithmique pour application Common Lisp: librairies certifiées
|
|
2007-08-20 |
Logique de calcul pour application Common Lisp : librairies certifiées
|
|
152. |
This file contains certification records for the various precompiled libraries supplied in the ACL2-books package. ACL2 essentially requires that all included books be certified before use.
|
|
2007-08-20 |
Ce fichier contient les enregistrements de certificats pour les différentes librairies précompilées fournies dans le paquet ACL2-books. ACL2 necessite essentiellement que les livres inclus soient certifiées avant utilisation.
|
|
153. |
A Computational Logic for Applicative Common Lisp: library sources
|
|
2007-08-20 |
Logique algorithmique pour application Common Lisp: sources des librairies
|
|
2007-08-20 |
Logique de calcul pour application Common Lisp : sources des librairies
|
|
154. |
This package contains source lisp files to the compiled libraries supplied in the ACL2-books package.
|
|
2007-08-20 |
Ce paquet contient les fichiers source de lisp des librairies compilées fournies dans le paquet ACL2-books
|
|
155. |
A Computational Logic for Applicative Common Lisp: documentation
|
|
2007-08-20 |
Logique alogrithmique pour application Common Lisp : documentation
|
|
2007-08-20 |
Logique de calcul pour application Common Lisp : documentation
|
|
157. |
A Computational Logic for Applicative Common Lisp: emacs interface
|
|
2007-08-20 |
Logique alogrithmique pour application Common Lisp : interface emacs
|
|
2007-08-20 |
Logique de calcul pour application Common Lisp : interface emacs
|
|
159. |
A Computational Logic for Applicative Common Lisp: infix interface
|
|
2007-08-20 |
Logique alogrithmique pour application Common Lisp : interface infix
|
|
2007-08-20 |
Logique de calcul pour application Common Lisp : interface infix
|
|
161. |
A Computational Logic for Applicative Common Lisp: infix source
|
|
2007-08-20 |
Logique alogrithmique pour application Common Lisp : source infix
|
|
2007-08-20 |
Logique de calcul pour application Common Lisp : source infix
|
|
162. |
This package contains the source files to the infix interface to ACL2.
|
|
2007-08-20 |
Ce paquet contient les fichiers source pour l'interface infix d'ACL2
|
|
163. |
A Computational Logic for Applicative Common Lisp: source files
|
|
2007-08-20 |
Logique alogrithmique pour application Common Lisp : fichiers source
|
|
2007-08-20 |
Logique de calcul pour application Common Lisp : fichiers source
|
|
164. |
ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.
|
|
2007-08-20 |
ACL2 est à la foi un langage de programmation avec lequel vous pouvez modéliser des systèmes calculatoire et un outil d'aide à valider la conformité de ces modèles.
|
|
165. |
This package contains the lisp source files to the main ACL2 binary.
|
|
2007-08-20 |
Ce paquet contient les fichiers sources lisp de l'exécutable principal ACL2
|
|
170. |
acm is an air combat simulator that runs under the X window system. This version of acm is implemented as a distributed simulation. It communicates information via the IEEE Distributed Interactive Simulation protocol.
|
|
2007-08-20 |
acm est un simulateur de combat aérien qui s'exécute sous le système X window. Cette version d'acm est conçue comme une simulation distribuée. Les informations communique par un protocole de simulation interactif distribué IEEE.
|
|
173. |
graphical ALSA sequencer connection manager
|
|
2007-08-20 |
gestionnaire de connection graphique du séquenceur ALSA
|
|
178. |
Acorn-fdisk allows you to edit disk partitions on Acorn machines. It understands a variety of the partition tables formats used under RISC OS, including Filecore, ICS-IDE, EESOX and Powertec.
|
|
2007-08-20 |
Acorn-fdisk vous permet d'éditer des partions de disque sur des machines Acorn. Il comprend une variété de formats de tables de partitions utilisé par des OS RISC, comprenant Filecore, ICS-IDE, EESOX et Powertec.
|
|
179. |
analysis of compiler options via evolutionary algorithms
|
|
2007-08-20 |
analise d'options de compilation par des algorithmes d'évolution
|
|
180. |
ACOVEA (Analysis of Compiler Options via Evolutionary Algorithm) implements a genetic algorithm to find the "best" options for compiling programs with the GNU Compiler Collection (GCC) C and C++ compilers. "Best," in this context, is defined as those options that produce the fastest executable program from a given source code.
|
|
2007-08-20 |
ACOVEA (Analysis of Compiler Options via Evolutionary Algorithm) implémente un algorithme génétique pour trouver les "meilleurs" options de compilation de programmes avec le les compilateurs GNU (GCC) C et C++. Dans ce contexte, "meilleur" se définit comme les options qui produisent le programme exécutable le plus rapide pour un code source donné.
|
|
181. |
Acovea is a C++ framework that can be extended to test other programming languages and non-GCC compilers.
|
|
2007-08-20 |
Acovea est un framework en C++ qui peut être étendu pour tester d'autres langages de programmation et des compilateur non-GCC
|
|
183. |
results captured by using acovea
|
|
2007-08-20 |
résultats capturés en utilisant acovea
|
|
184. |
The files contained in this package are results from some prior executions of ACOVEA (Analysis of Compiler Options via Evolutionary Algorithms). They are provided for documentation purposes only.
|
|
2007-08-20 |
Les fichiers contenus dans ce paquet sont les résultats de précédentes exécutions de ACOVEA (Analysis of Compiler Options via Evolutionary Algorthms). Ils sont fournis à but documentaire seulement.
|
|
189. |
Note: Upstream package is called pmtools.
|
|
2007-08-20 |
Note: le paquet en amont est appelé prmtools
|
|
195. |
The standard describing the Ada 95 language
|
|
2007-08-20 |
Description standard du langage Ada 95
|
|
196. |
This package contains various versions of the Ada Reference Manual, the standard describing the programming language Ada. HTML, text and Texinfo formats are provided.
|
|
2007-08-20 |
Ce paquet contient différentes versions du manuel de référence Ada, la description standard (norme) du langage de programmation Ada. Les fichiers HTML, texte et Texinfo sont fournis
|
|
199. |
Ada CGI interface
|
|
2007-08-20 |
Interface CGI Ada
|
|
202. |
An Ada rules controller
|
|
2007-08-20 |
Un contrôleur de règles Ada
|
|
213. |
Personal Address Manager for GNUstep (Goodies)
|
|
2007-08-20 |
Gestionnaire d'adresses personnel pour GNUstep (Goodies)
|
|
218. |
Personal Address Manager for GNUstep
|
|
2007-08-20 |
Gestionnaire d'adresses personnel pour GNUstep
|
|
219. |
This package constitutes a personal address manager for the GNUstep software system. It allows archiving complete personal contact information, organizing contacts in groups, integration with other software such as mail clients and sharing address information with other users over the network.
|
|
2007-08-21 |
Ce paquet est constitué d'un gestionnaire d'adresses personnel pour le système GNUstep. il permet l'archivage complet des informations de contacts personnels, de grouper les contacts, integration avec d'autres logiciels tels que des clients mail et de d'échanger ces informations vers d'autres utilisateurs à travers le réseau.
|
|
220. |
Address display/edit framework for GNUstep
|
|
2007-08-20 |
Framework d'affichage/édition d'adresses pour GNUstep
|
|
225. |
interactive Imlib2 console for the X Window System
|
|
2007-08-21 |
console Imlib2 interactive pour le système X Window
|
|
235. |
A 2D graphical RPG game inspired by good old console RPGs like the ones on the SNES.
|
|
2007-08-21 |
un jeu RPG au graphisme 2D inspiré par les bonnes vieilles consoles comme la SNES
|
|
236. |
This package contains the Adonthell engine. You'll also need a game to be able to play. For this release, the official game is Waste's Edge, found in the package adonthell-data.
|
|
2007-08-21 |
Ce paquet contient le moteur Adonthell. Vous aurez aussi besoin d'un jeu pour pouvoir y jouer. Pour cette mise à jour, le jeu officiel es Waste's Edge,qui ce trouve dans le paquet adonthell-data
|
|
237. |
Data files needed by Adonthell
|
|
2007-08-20 |
fichiers de donnés nécessaire à Adonthell
|
|
238. |
This is the official game for Adonthell 0.3
|
|
2007-08-20 |
C'est le jeu officiel pour Adonthell 0.3
|
|
240. |
console-based OPL2 audio player
|
|
2007-08-21 |
Lecteur audio en ligne de commande basé sur OPL2
|
|
244. |
command line utility for Active Directory administration
|
|
2007-08-21 |
Utilitaire en ligne de commande pour l'administration d'Active Directory
|
|
247. |
Molecular Simulator for GNUstep
|
|
2007-08-20 |
Simulateur Moléculaire pour GNUstep
|
|
248. |
This is a new extendible molecular simulation program that also includes data management and analysis capabilities.
|
|
2007-08-20 |
C'est un nouveau programme de simulation moléculaire qui intègre également un gestionnaire de données et des capacités d'analyses
|