Browsing French translation

Don't show this notice anymore
Before translating, be sure to go through Ubuntu Translators instructions and French guidelines.
86018610 of 39523 results
24370.
By default spaces are replaced with "+", "/" with "~", the characters "A-Za-z0-9_.-" encode as themselves, and everything else is written "=USTR=" where USTR is the base64 (using "A-Za-z0-9_." as digits) encoding of the unicode character code. The encoding is configurable (see below).
Description
(no translation yet)
Located in Package: libconvert-ytext-perl
24376.
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
24377.
This package provides coqmktop, and libraries needed to develop OCaml-side extensions to Coq.
Description
(no translation yet)
Located in Package: libcoq-ocaml-dev
24379.
This package contains the runtime stuff you need to run programs using Core.
Description
(no translation yet)
Located in Package: libcore-ocaml
24381.
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
24382.
This package contains the development stuff you need to use Core in your programs.
Description
(no translation yet)
Located in Package: libcore-ocaml-dev
24386.
* 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
24387.
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
24388.
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
24389.
This package contains the ocamldoc API reference in HTML format for Core.
Description
(no translation yet)
Located in Package: libcore-ocaml-doc
86018610 of 39523 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, Maxence BOTHOREL, Maxim Lopez, Michael Vogt, MilkaJinka, Moneron Xavier, Morgan, NSV, NaSH, Nguyen Jérémy, Nicolas Delvaux, Nicolas Robin, Nissar Chababy, OUBRAIM Rachid, Olivier, Olivier Copetto, Olivier FAYOLLE, Olivier Febwin, Olivier Vopat, 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_, afro luffy, antoine, axelle oxford, bameylan, blackorpheus, bloch, bpascal123, calvin, 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, vovd, yasmine, yeassay, ymadec, yohann.