IsaMorph

IsaMorph 0.9

IsaMorph est un Live CD de distribution Linux (basé sur Morphix) mettant en vedette le démonstrateur interactif Isabelle.Cela signifie, vous pouvez démarrer à partir du CD et obtenir un "démonstration de théorèmes" environnement pleinement opérationnel...

ivrescue

ivrescue 1.1.7

ivrescue est un petit CD de secours Linux, adapté pour les systèmes qui sont devenus unbootable en raison de la corruption du système de fichiers ou quel que soit le démarrage. Comme un bonus supplémentaire, tout est chargé dans la mémoire vive - une fois...

J-Nix

J-Nix 1.0

J-Nix fournit tout ce dont l'utilisateur a besoin de la maison, et que peu de choses que possible. Cela rend-J Nix plus sûr, plus rapide à exécuter, plus rapide à installer.Les choses les besoins des utilisateurs à domicile sont* Navigateur,* Email,*...

JaCL Linux

JaCL Linux 0.2005-07-11 beta1

JaCL Linux (juste une ligne de commande Linux) est une distribution live CD (une remasterisation Knoppix) du système d'exploitation Linux. JaCL Linux est conçu pour être exécuté comme un système de serveur ou utilitaire piloté par ligne de commande.La...