Package Descriptions for Ubuntu

Browsing French translation

  1. Series saucy
  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.
57693 → 57702 of 78723 results First • • • Last
57693.
Pico Lisp can be viewed from two different aspects: As a general purpose programming language, and a dedicated application server framework.
 
Description
(no translation yet)
Located in Package: picolisp
57694.
As a programming language, Pico Lisp provides a 1-to-1 mapping of a clean and powerful Lisp derivate, to a simple and efficient virtual machine. It supports persistent objects as a first class data type, resulting in a database system of Entity/Relation classes and a Prolog-like query language tightly integrated into the system.
 
Description
(no translation yet)
Located in Package: picolisp
57695.
As an application server framework, Pico Lisp provides for database management (including multi-user synchronization, DB garbage collection journalling and replication), web interface integrated (and generated from) the application data model, and an application server.
 
Description
(no translation yet)
Located in Package: picolisp
57696.
SAT solver with proof and core support
 
Summary
solveur SAT avec gestion de démonstrations et «[nbsp]core[nbsp]»
Translated by Michael Vogt
Located in Package: picosat
57697.
Despite the NP completeness of the satisfiabilty problem of Boolean formulas (SAT), SAT solvers are often able to decide this problem in a reasonable time frame. As all other NP complete problems are reducible to SAT, the solvers have become a general purpose tool for this class of problems.
 
Description
Malgré la complétude NP des problèmes de satisfaisabilité de formules booléennes (SAT), les solveurs SAT sont souvent capables de trancher dans un délai raisonnable. Comme tous les autres problèmes de complétude NP sont réductibles à SAT, les solveurs sont devenus des outils polyvalents pour cette classe de problèmes.
Translated by Michael Vogt
Located in Package: picosat
57698.
PicoSAT is a SAT solver that turned out to be faster on industrial instances than MiniSAT 2.0 and also can generate proofs and cores in memory.
 
Description
PicoSAT est un solveur SAT qui s’avère être plus rapide pour des cas industriels que MiniSAT[nbsp]2.0, et qui peut générer des démonstrations et des «[nbsp]core[nbsp]» en mémoire.
Translated by Michael Vogt
Located in Package: picosat
57699.
Microchip PIC serial programmer software
 
Summary
programmateur en série Microchip PIC
Translated by Michael Vogt
Located in Package: picprog
57700.
This is Picprog, a Microchip PIC microcontroller programmer software for a simple serial port device. This software supports simple programmers like JDM writer.
 
Description
Voici Picprog, un programmateur de micro-contrôleurs Microchip PIC pour un périphérique en port série. Ce programme supporte des programmateurs simples tels que le rédacteur JDM.
Translated by Michael Vogt
Located in Package: picprog
57701.
web application for browsing your pictures
 
Summary
(no translation yet)
Located in Package: pictor
57702.
Pictor is a simple web application for browsing your pictures in a in a filesystem (without a complicated database schema). Pictures are organized in filesystem directories of any depth. Albums are directories that contain pictures. Thumbnails are generated and cached as necessary, and images are dynamically resized on the fly.
 
Description
(no translation yet)
Located in Package: pictor
57693 → 57702 of 78723 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, AUGUSTIN BRONDINO, Abdoulaye, Alban CLERGEOT, Alban V, Alexandre, Alexandre Croteau, Alexandre Franke, Anne017, Anthony Noël, Apophis666, Aquilon, ArnaultVandeveld, Arnold Couchard, Arthur Sauvage, Arzach, Ash26, Aurélien RIVIERE, Aurélien Ribeiro, Babey, Baptiste, Baptiste Fontaine, Benitron, Berenger Okei, Bernos Guillaume, Bertrand Croq, Beuss, Bi30, Blackestmajor, Bonsoir, Borni DHIFI, Bristow, Bruno, Bruno, Bruno Avet, Cajuteq, Carcasse, CedS, Christophe Eschbach, Citron28, Clarence Snickers, ClemZ, CoudCoud, Damien H, DarkVodKa, David ., David Futcher, David Nottin, David Racine, Eglantine Schmitt, 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, Pique, Plank, Quentin Dorveaux, Quentin Santander, Ralphi2811, Remiweb, Removed by request, Robin Dumont-Chaponet, 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, Sydney, 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_, afro luffy, antoine, arkan, axelle oxford, baj, bameylan, blackorpheus, bloch, bpascal123, calvin, clappier, clement62910, cocof35, constantin, 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, 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, titouan le folgoc, vmerlet, vovd, yasmine, yeassay, ymadec, yohann, Łukasz Zemczak.