Chaque fichier est signé avec GPG. La signature est représentée par cette icône . Pour vérifier la signature, tapez
$ gpg --verify fichier-a-verifier.sig
FigGraphics.tar.gz . . . . . 4592 25/01/01 11:00 Graphics Java qui produit sa sortie vers le format FIG 3.2
GPL . . . . . . . . . . . . . 17992 26/05/04 09:04 Gnu General Public License
abacus.el.gz . . . . . . . . 3149 31/10/01 19:43 Boulier pour GNU Emacs.
ants-0.9.2.tar.gz . . . . . . 384462 01/11/00 19:10 Simulateur de fourmis.
ants-0.9.3.tar.gz . . . . . . 436850 27/07/02 15:28 Simulateur de fourmis.
art.tar.gz . . . . . . . . . 56298 08/02/00 09:50 Un petit programme qui teste un réseau de neurones de type ART.
bambin.scm.gz . . . . . . . . 1821 21/11/99 19:08
bambin.tgz . . . . . . . . . 2836 21/11/99 19:08 Contrôle de robot virtuel en Scheme
bd.tgz . . . . . . . . . . . 5670 21/11/99 19:08 Front end pour ma base de données (Obsolète)
bib2html.pl . . . . . . . . . 3429 01/06/01 11:58 Script perl qui convertit les fichiers bibtex en HTML
bins.tos . . . . . . . . . . 2014 21/11/99 19:08 Une vieille version de mon langage fonctionnel (Oldie Atari)
c_gen_src.lzh . . . . . . . . 146125 21/09/00 12:31 sources de mon générateur de code (Oldie Atari)
cv_short.pdf . . . . . . . . 38446 27/10/04 09:41 Mon cv épuré
doclet-latex.jar . . . . . . 173763 13/11/01 20:18 Doclet Javadoc LaTeX -- Installation java -jar doclet-latex.jar
doclet-latex.tar.gz . . . . . 49229 13/11/01 20:18 Doclet permettant de générer une Javadoc en LaTeX
dot_emacs.tgz . . . . . . . . 24266 31/03/00 00:04 Mes fichiers de configuration pour GNU Emacs
dtk-1.0.6.tar.gz . . . . . . 213129 01/02/02 08:30 DJedi Tool Kit (lib graphique X11)
dtk-1.0.7.tar.gz . . . . . . 216238 27/07/02 15:33 DJedi Tool Kit (lib graphique X11)
filtre_src.lzh . . . . . . . 34244 03/02/98 22:14 source de mon filtre audio (Oldie Atari)
fortune_de_DJedi.tgz . . . . 76508 21/11/99 19:08 Cookie Jar
fungus-demo-31-05-2002.jar . 1679100 30/05/02 23:06 Demo de Fungus. Installation java -jar fungus-demo-31-05-2002.jar
genere_liste_repertoire.pl . 5333 02/11/05 08:56 Le script perl qui a généré cette page
img_fx.lzh . . . . . . . . . 10773 21/11/99 19:08 Plug-in pour BinS (fonctionnent aussi sans BinS) (Oldie Atari)
index.html . . . . . . . . . 20405 01/11/04 10:52
index.php3 . . . . . . . . . 5094 02/11/05 08:58 La page que vous êtes en train de lire
index.txt . . . . . . . . . . 4159 02/11/05 08:58
jdbforms-r13-06-2004.tar.gz . 111078 13/06/04 11:59 Une interface pour rentrer et consulter des données dans un SGBD.
jdbforms-r17-05-2004.tar.gz . 103275 17/05/04 10:11 Une interface pour rentrer des données dans un SGBD.
kink-0.2.2.tar.gz . . . . . . 199523 10/08/01 21:58 Kink is not kink. Mon lisp.
kink_0.2.2-1_i386.deb . . . . 101352 10/08/01 21:59
kohmin.tgz . . . . . . . . . 16728 12/03/00 15:43 Outil de téléchargement de page web multithreadé en JAVA.
lsys.tar.gz . . . . . . . . . 90039 21/09/01 22:36 Generateur de systèmes de Lindenmayer en langage Scheme
mfind . . . . . . . . . . . . 780 15/12/99 08:26 multiple find (Obsolète)
mix-prog-doc.tgz . . . . . . 9001 21/11/99 19:08 doku de la MIX Machine
mix_machine.tgz . . . . . . . 9968 21/11/99 19:08 Ma MIX machine
mkphotoindex.sh.gz . . . . . 1579 24/08/02 18:15 Le script shell qui génère les indexs photo de ce site.
morph105.lzh . . . . . . . . 96408 16/11/96 15:23 proramme de morphing (Oldie Atari)
morphing_src.lzh . . . . . . 157800 16/11/96 15:18 les sources de mon programme de morphing (Oldie Atari)
moun.tgz . . . . . . . . . . 551 16/12/99 17:57 Front end pour mount/umount (Obsolète)
niced_1.0.tar.gz . . . . . . 9582 02/11/05 08:52 Un gestionnaire de priorités Unix programmé par Louelh Bilal, un de mes étudiants de l'époque.
objcdoc . . . . . . . . . . . 2806 13/12/00 10:46 Système de documentation similaire à javadoc mais pour l'Objective C.
paye.lzh . . . . . . . . . . 47516 23/09/95 18:01 mon programme de fiche de payes (ca me rajeuni pas) (Oldie Atari)
rdf.tar.gz . . . . . . . . . 267703 14/01/00 07:20 Reconnaissance de chiffres manuscrits
robots.tar.gz . . . . . . . . 156752 17/01/00 10:34 GNU Robots + Reseau de neurones + algo génétiques
seashell-0.1r06-04-2001.tar.gz 111987 06/04/01 23:44 Plug-in Gimp de génèration de textures de coquillages
sierpinski.ps . . . . . . . . 649 09/04/01 07:43 Fractale Sierpinski en Postscript.
snafu-r26-05-2004.tar.gz . . 95101 26/05/04 08:48 Détecteur de plagiat et interface vers les moteurs de recherche
snafu.tar.gz . . . . . . . . 181625 09/03/00 20:26 Prototype de système multiagents de recherche d'information sur Internet.
tarot.lzh . . . . . . . . . . 100144 07/02/97 14:38 compteur de point au tarot (Oldie Atari)
termites.java . . . . . . . . 9550 21/11/99 19:08 Le source de mon applet Termite
todolist-r21-02-2003.jar . . 963533 21/02/03 11:30 Pense-Bête (installeur binaire)
todolist-r21-02-2003.tar.gz . 50868 21/02/03 11:30 Pense-bête (sources)
tp_lisp.tgz . . . . . . . . . 48035 16/01/00 13:47 Quelques exercices en Lisp.
turing.tgz . . . . . . . . . 114949 26/07/99 09:42 Machine de Turing en Scheme (mono/multi pistes/bandes)
xbvl-2.2.2-light.tar.gz . . . 539864 08/01/02 09:13 Bois de Vincennes Lisp version qui doit se compiler sur un plus grand nombres de système GNU/Linux.
xbvl-2.2.3-light.tar.gz . . . 582093 01/11/04 10:51
xbvlisp_2.2-1_i386.deb . . . 215296 19/02/01 02:21 Bois de Vincennes Lisp paquet debian.
Valvassori Moïse Dernière modification: Wed Nov 2 08:58:35 CET 2005 |
![]() ![]() |