Retrouvez ici l’ensemble des fichiers et téléchargements auxquels il est fait référence sur le site.

Raspberry PI

Distributions:

• Raspbian: La version de Debian Linux portée pour le Raspberry Pi – Raspbian Wheezy – Informations
• Pidora: La version de Fedora Linux portée pour le Raspberry Pi – Pidora 2014 R3 – Informations
• OpenElec: Un media server – OpenELEC 4.05  – Informations
• RaspBMC: Le media server XBMC porté sur Raspbian – Raspbmc 2014-10 – Informations
• Risc OS: Un système d’exploitation « non Linux » – Risc OS RC12a – Informations
• Noobs: Une distribution 5 en 1 – NOOBS 1.3.10 full-install – NOOBS 1.3.10 net-install – Informations

Outils :

• Win32 DiskImager: Pour copier une image disque sur une carte SD – Win32DiskImager 0.9.5 – Informations

Images des Appliances :

Arduino

• IDE Arduino
  • Windows
  • Mac OSX
  • Linux 32 bit
  • Linux 64 bit

Ressources générales

• Fritzing
  • Windows 32 bits
  • Windows 64 bits
  • Mac OS X 10.6 et supérieur
  • Linux 32 bits
  • Linux 64 bits