Translations by Mika

Mika has submitted the following strings to this translation. Contributions are visually coded: currently used translations, unreviewed suggestions, rejected suggestions.

150 of 59 results
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