outils
- KeePass (pour gérer ses mots de passe)
- freecommander (explorateur de fichiers)
C
- livres:
Rémy Malgouyres,Rita Zrour, Fabien Feschet Initiation à l'algorithmique et aux structures de données en C Dunod, 2008
Brian W. Kernighan and Dennis Ritchie C Programming Language Prentice Hall
ou en français:Brian W. Kernighan et Dennis Ritchie Le langage C : Norme ANSI Dunod
- livres:
Web sémantique
- cet ancien MOOC (de FUN) donne des références utiles en bas de page
Javascript
- livre:
David Flanagan Javascript: The Definitive Guide O'Reilly Media, 2011, 6th edition
- livre:
Python
- MOOC permanent Python(plate-forme FUN)
- MOOC Python, en cours(plate-formes FUN)
Haskell, Standart ML
C/C++
- IDE gratuit pour C/C++ sous Windows: Code::Blocks
- MinGW, MinSYS (pour programmer en C/C++ sous windows)
LaTeX
- LaTeX sous Windows:MikTek ou Tex Live , puis, pour convertir les fichiers en .ps ou .pdf, ghostscript, ghostview
- très bonne introduction à LaTeX (ENS)
- quickies LaTeX
- LaTeX for logicians
- stage LaTeX
SAGE
-
Pour utiliser un clavier azerty avec la VirtualBox, suivre les indications de cette page wiki .
Comme le clavier sera d'abord en qwerty il faudra entrer sage en tapant sqge, entrer setxkbmap en tapant setxkb,qp et entrer nano .xinitrc en tapant nqno :xinitrc
-