Browsing French translation

Don't show this notice anymore
Before translating, be sure to go through Ubuntu Translators instructions and French guidelines.
84018410 of 36952 results
24161.
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.
Description
(no translation yet)
Located in Package: libcoq-ocaml-dev Package: libcoq-ocaml Package: coqide Package: coq-theories Package: coq
24162.
This package provides coqmktop, and libraries needed to develop OCaml-side extensions to Coq.
Description
(no translation yet)
Located in Package: libcoq-ocaml-dev
24164.
This package contains the runtime stuff you need to run programs using Core.
Description
(no translation yet)
Located in Package: libcore-ocaml
24166.
Beware that Core extends some functionality of the legacy standard library, and outright changes or replaces other; backward compatibility with the legacy standard library has not to be expected.
Description
(no translation yet)
Located in Package: libcore-ocaml-dev
24167.
This package contains the development stuff you need to use Core in your programs.
Description
(no translation yet)
Located in Package: libcore-ocaml-dev
24171.
* provides tail recursive versions of non tail recursive functions in
the standard library;
* changes the signature of many of the standard modules to enforce
consistent naming conventions;
* includes generic serialization for most types;
* adds some new modules as well as new functionality to existing
modules.
Description
There are line breaks here. Each one represents a line break. Start a new line in the equivalent position in the translation.
There are leading/trailing spaces here. Each one represents a space character. Enter a space in the equivalent position in the translation.
(no translation yet)
Located in Package: libcore-ocaml-doc Package: libcore-ocaml-dev Package: libcore-ocaml
24172.
Beware that Core extends some functionality of the legacy standard library, and outright changes or replaces other; backward compatibility
Description
(no translation yet)
Located in Package: libcore-ocaml-doc Package: libcore-ocaml
24173.
The code of Core is routinely reviewed within Jane Street Capital according to their quality assurance requirements.
Description
(no translation yet)
Located in Package: libcore-ocaml-doc Package: libcore-ocaml-dev Package: libcore-ocaml
24174.
This package contains the ocamldoc API reference in HTML format for Core.
Description
(no translation yet)
Located in Package: libcore-ocaml-doc
24175.
Java library that provides an XML/XHTML/CSS 2.1 Renderer
Summary
(no translation yet)
Located in Package: libcore-renderer-java
84018410 of 36952 results

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, AUGUSTIN BRONDINO, Abdoulaye, Achraf cherti, Alban CLERGEOT, Alban V, Alex THIERRY, Alexandre, Alexandre Croteau, Alexandre Franke, Anne, Anthony Noël, Apophis666, Aquilon, ArnaultVandeveld, Arnold Couchard, Arthur Sauvage, Arzach, Aurélien RIVIERE, Aurélien Ribeiro, Babey, Baptiste, Baptiste Fontaine, Bass_DR, Benitron, Berenger Okei, Bernos Guillaume, Bertrand Croq, Beuss, Bi30, Blackestmajor, Bonsoir, Borni DHIFI, Bristow, Bruno, Bruno Avet, Bruno Patri, Cajuteq, Carcasse, CedS, Christophe Eschbach, Citron28, Clarence Snickers, ClemZ, CoudCoud, Damien Haïkal, DarkVodKa, David ., David Futcher, David Nottin, Eglantine Schmitt, Eloiltiti Achraf, Elrick, Emmanuel Gil Peyrot, Enrico Rosina, Ersplus, Flo Rahl, Florent (LSc), Florian-delaroche, FreddyONe73, GIRONE Remi, Geoffrey, Glyca, Goshu, GuiMol, Guillaume, Gwab, Havok Novak, Indhi Rousseau, Ir0nsh007er, J&V Georges, Jean-Christophe, Jean-Marc, Jerod212, Joachim R., Jonas Rockenbauer, Jonathan Pasquier, Julien, Julien Henry, Julien Humbert, Julien Rouvier, JurisZombie, Kafi, Kolibry, Ktux, Laurent N, Laurent Thibaud, Le Bourhis Mikaël, Lentdormi, Lola Farret, Louis Dubois, Louis Moureaux, Lucas Bayol, Maeda, Marot Célestin, Mathieu Disy, Max, Maxim Lopez, Michael Vogt, MilkaJinka, Moneron Xavier, NSV, NaSH, Nguyen Jérémy, Nicolas Delvaux, Nicolas Robin, Nissar Chababy, NoZ, OUBRAIM Rachid, Olivier, Olivier Copetto, Olivier FAYOLLE, Olivier Febwin, OlivierT, PEIGNOT Kévin, Paer, Paquelier Alain, Pascal Maugendre, Paul Forget, Paulvirtuel, Philip Millan, Philippe, Pier-Luc Ducharme, Pierre Scacchi, Pierre Slamich, Pierre-Alexandre Racine, Pierre-Alexis, Pierrick Vandenbroucke, Pika3D, Pique, Plank, Quentin Dorveaux, Quentin Santander, Ralphi2811, Remiweb, Robin Dumont-Chaponet, Romain, Romain, Roms, Rémi Larrouquis, Salvato-Vallverdu, SarahSlean, Seb24, Serge Pilon, Simon, Simon THOBY, St3ph, Stanislas Michalak, Stéphane Maniaci, Stéphane V, Sydney, Sylvhem, Sylvie Gallet, Tarek, Teo Tedoldi, Teromene, Thibault Févry, Thomas, Thomas Quaglio, Thomas.M, TiiXel, Titanet, Toxxic Zad, Tubuntu, Valentin Lorentz, William, Xavier, YannUbuntu, Yayel, Yohann, Youcef PhnixLord, Yvan Arnaud, Yvance77, _Syzygy_, antoine, axelle oxford, bameylan, blackorpheus, bloch, bpascal123, clappier, clement62910, cocof35, constantin, didier Belot, dom, dpl29, electroluth, elyr, enebre, fabkzo, flobe, fredb59, fredurb1, gerard, gisele perreault, grosvalpin, hamelin, hucste, idon'thaveaname, jdt37b, jean-bernard marcon, jlla, jplemoine, judejude, kidpaddle, kleiber, kura, lann, ldmpub, le_youki, lebendre, ljere, londumas, louis1806, mart3300, michel_95, moberch, mothsArt, oswald_volant, parislanuit, pythaboc, royto, samuel poette, seb35690, shunesburg69, slurbe, stagelll, sylvain, thenasa, tiritchi, vmerlet, yasmine, yeassay, ymadec, yohann.