* Around 20 atmel 8535 (datasheet is there : [www.atmel.com/Images/doc1041.pdf]). It is also arduino bootloader compatible.
* A bunch of pic 18F4X2 starter kit, programmable trough serial connection.
== Other tools ==
* some reverse polish notation calculator (the 15C)
== Computer Services ==
* The services are listed in [[Internal_Server]]. You are free to use it at will