.tgz
ou .tar.gz sont des archives créées sous Linux
avec GNU-tar et comprimées
avec Gzip. Pour les ouvrir vous pouvez utiliser le logiciel
StuffIt Expander
(graticiel fonctionnant sous Linux/Mac/Solaris/Windows).
Cours d'informatique | ||
|---|---|---|
| Cours | cours.ps.gz (773K) | cours.pdf.gz (1276K) |
| idem en réduction | cours2.ps.gz (777K) | cours2.pdf.gz (1247K) |
| Aide-mémoire Caml | aide-caml.ps.gz (37K) | aide-caml.pdf.gz (225K) |
Sujets de TP Caml | ||
| arbpri.tgz | Arbres de priorité équilibrés | |
| bool.tgz | Manipulation de formules booléennes | |
| chemins.tgz | Chemins dans Z2 | |
| file.tgz | Files d'attente et suite de Hamming | |
| formules.tgz | Évaluation d'une formule arithmétique | |
| multiprecision.tgz | Calcul multiprécision | |
| polynomes.tgz | Manipulation de polynômes | |
| premier.tgz | Tests de primalité | |
| resolution.tgz | Recherche de contradictions | |
| segmentation.tgz | Segmentation d'une liste | |
| tableur.tgz | Modélisation d'un tableur | |
| taquin.tgz | Résolution d'un taquin | |
| train.tgz | Permutation d'un train (listes à double entrée) | |
Bibliothèques Caml | ||
| graphx | Adaptation de libgraph permettant d'enregistrer les dessins
effectués en postscript, macros pstricks, ppm ou tga
| |
| automatx | Utilitaires pour manipuler des arbres, graphes et automates en Caml-Light | |
| parallele | Bibliothèque Ocaml permettant de distribuer des calculs sur un réseau | |
| numerix 0.19c | Bibliothèque multiprécision (667K) | |
| numerix-doc | Documentation en français (postscript compressé 196K) | |
| numerix-doc-eng | Documentation en anglais (postscript compressé 187K) | |
Divers | ||
| hwcorrect | Programme de correction automatique de copies (factice) | |
| Julia | Dessin d'ensembles de Julia sous Linux (Ocaml-Tcl/Tk) | |
| xmount-ppp | Contrôle sous X des unités amovibles et des liaisons ppp (pour Linux) | |
Cette page est gérée par Michel Quercia
Mise à jour : 21/09/2004