Package Descriptions for Ubuntu

Browsing French translation

  1. Series yakkety
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
Don't show this notice anymore
Before translating, be sure to go through Ubuntu Translators instructions and French guidelines.
2333 → 2342 of 106672 results First • • • Last
2333.
This is the final release of ATS1. Please migrate your code to ATS2/Postiats, the compiler frontend patscc (patsopt), in the package ats2-lang. This package is for legacy code and bootstrapping purposes.
 
Description
Ceci est la version finale de ATS1. Veuillez migrer le code vers ATS2/Postiats, l'interface de compilation patscc (patsopt), du paquet ats2-lang. Ce paquet est fait pour les besoins des codes obsolètes et les amorces.
Translated and reviewed by Jean-Marc
Located in Package: ats-lang-anairiats
2334.
Documentation for the ATS compiler Anairiats
 
Summary
Documentation pour le compilateur ATS Anairiats
Translated by Sylvie Gallet
Reviewed by Pierre Slamich
Located in Package: ats-lang-anairiats-doc
2335.
This package contains some documentation for the language.
 
Description
Ce paquet fournit une documentation pour le langage.
Translated by Michael Vogt
Located in Package: ats-lang-anairiats-doc
2336.
Examples for the ATS compiler Anairiats
 
Summary
Exemples pour le compilateur Anairiats ATS
Translated and reviewed by Pierre Slamich
Located in Package: ats-lang-anairiats-examples
2337.
ATS is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Anairiats) is written in ATS itself. It can be as efficient as C/C++ and supports a variety of programming paradigms.
 
Description
ATS est un langage de programmation avec un système de typage hautement expressif enraciné dans le cadre Applied Type System. En particulier, les deux types dépendant et linéaire sont disponibles dans ATS. L'implémentation courante d'ATS (ATS/Anairiats) est elle-même écrite en ATS. Il peut être aussi efficace que le langage C/C++ et gère une variété de paradigmes de programmation.
Translated by Michael Vogt
Located in Package: ats-lang-anairiats-examples Package: ats-lang-anairiats-doc Package: ats-lang-anairiats
2338.
This package contains some examples of the language.
 
Description
Ce paquet contient quelques exemples du langage.
Translated and reviewed by Sylvie Gallet
Located in Package: ats-lang-anairiats-examples
2339.
ATS version 2 programming language compiler
 
Summary
compilateur du langage de programmation ATS en version[nbsp]2
Translated by Steve Langasek
Located in Package: ats2-lang
2340.
ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms.
 
Description
ATS2 («[nbsp]ATS/Postiats[nbsp]») est un langage de programmation avec un système de types très expressif intégré dans le cadriciel Applied Type System. En particulier, les types dépendants et linéaires sont disponibles dans ATS. L'implémentation actuelle d'ATS (ATS/Postiats) est écrite en ATS (ATS/Anairiats) lui-même. Il peut être aussi efficace que le C et le C++ et prend en charge un grand nombre de paradigmes de programmation.
Translated by Steve Langasek
Located in Package: elpa-ats2-mode Package: ats2-lang
2341.
In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties.
 
Description
De plus, ATS contient une composante ATS/LF qui gère une forme (interactive) de vérification de théorème, où les preuves sont construites comme des fonctions totales. Avec cette composante, ATS prône un style de programmation combinant la programmation avec la preuve de théorème. Par ailleurs, cette composante peut être utilisée comme un cadre logique pour encoder divers systèmes de déduction et leurs (méta-)propriétés.
Translated by Steve Langasek
Located in Package: ats2-lang
2342.
This package contains the compiler patsopt and the frontend patscc, as well as the emacs mode for the language.
 
Description
(no translation yet)
Located in Package: ats2-lang
2333 → 2342 of 106672 results First • • • Last

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

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

Contributors to this translation: 4E4F, Abdoulaye, Alban CLERGEOT, Alban V, Alexandre, Alexandre Franke, Anne017, Anthony Diep, Anthony Noël, Apophis666, Aquilon, ArnaultVandeveld, Arnold Couchard, Arthur Sauvage, Arzach, Ash26, Aurélien James, Aurélien Ribeiro, Babey, Baptiste Fontaine, Benitron, Berenger Okei, Bernos Guillaume, Bertrand Croq, Beuss, Bi30, Blackestmajor, Bonsoir, Borni DHIFI, Bruno, Bruno, Bruno Avet, Cajuteq, Carcasse, CedS, CerberusHeart, Christophe Eschbach, Citron28, Clarence Snickers, ClemZ, DarkVodKa, Darry, David ., David Futcher, David Nottin, David Racine, Eglantine Schmitt, Emmanuel Gil Peyrot, Enrico Rosina, Flo Rahl, Florent (LSc), Florian-delaroche, FreddyONe73, GIRONE Remi, Gautier, Gaëtan Petit, Geoffrey, Glyca, Goshu, Grégoire Markey, GuiMol, Gwab, Gérard Duteil, Havok Novak, Indhi Rousseau, Ir0nsh007er, J&V Georges, Jean-Christophe, Jean-Marc, Jenny B, Jerod212, Joachim R., Jonas Rockenbauer, Jonathan Pasquier, Julien, Julien Henry, JurisZombie, Kafi, Kolibry, Ktux, Laurent N, Laurent Thibaud, Lentdormi, Louis Dubois, Louis Moureaux, Lucas Bayol, Maeda, Marot Célestin, Mathieu Disy, Max, Maxim Lopez, Michael Vogt, MilkaJinka, Moneron Xavier, Morgan, NSV, NaSH, Nguyen Jérémy, Nicolas Delvaux, Nicolas Maître, Nicolas Robin, Nissar Chababy, OUBRAIM Rachid, Olivier Copetto, Olivier FAYOLLE, Olivier Febwin, Olivier Vopat, OlivierT, PEIGNOT Kévin, Paer, Paquelier Alain, Pascal Maugendre, Paul FEUVRAUX, Paulvirtuel, Philip Millan, Philippe, Pier-Luc Ducharme, Pierre Scacchi, Pierre Slamich, Pierre-Alexandre Racine, Pierre-Alexis, Pierrick Vandenbroucke, Pique, Plank, Quentin Dorveaux, Quentin Santander, Ralphi2811, Remiweb, Removed by request, Romain, Romain DEJEAN, Roms, Rémi Berthoz, Rémi Larrouquis, Salvato-Vallverdu, SarahSlean, Seb24, Serge Pilon, Simon, Simon THOBY, St3ph, Stanislas Michalak, Steve Langasek, Stéphane Maniaci, Stéphane V, Sylvhem, Sylvie Gallet, Tarek, Teo Tedoldi, Teromene, Thibault Févry, Thomas, Thomas Quaglio, Thomas.M, Titanet, Toxxic Zad, Tubuntu, Valentin Lorentz, William, Xavier, YannUbuntu, Yayel, Yohann, Youcef PhnixLord, Yvan Arnaud, Yvance77, _Syzygy_, antoine, arkan, axelle oxford, baj, bameylan, blackorpheus, bloch, bpascal123, clappier, clement62910, cocof35, dhorne, didier Belot, dom, dpl29, electroluth, elyr, enebre, fabkzo, flobe, fredb59, fredurb1, gerard, gfds, gisele perreault, grosvalpin, hamelin, hucste, idon'thaveaname, jdt37b, jean-bernard marcon, jlla, joel, jplemoine, judejude, kidpaddle, kleiber, kura, lann, ldmpub, le_youki, lebendre, ljere, londumas, louis1806, marcus, mart3300, michel_95, moberch, mothsArt, oswald_volant, parislanuit, pythaboc, royto, samuel poette, shunesburg69, slurbe, stagelll, sylvain, thenasa, tiritchi, titouan le folgoc, utybo, vincent dumont, vmerlet, vovd, yasmine, yeassay, ymadec, yohann, Łukasz Zemczak.