.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