Daily Shaarli

All links of one day in a single page.

December 29, 2016

C3TV - Formal Verification of Verilog HDL with Yosys-SMTBMC

Vérification formelle en verilog avec Yosys au CCC

Electricity Map | Live CO2 emissions of the European electricity production

Carte d'europe des émissions de CO2 de la production électrique.

Schedule 33. Chaos Communication Congress

SpinalHDL au Chaos Communication Congress

Fact'Oeuf - Accueil

Faites vous livrer vos œufs à vélo dans votre boite aux lettres le samedi matin.
Pour l'instant c'est très Colmarien comme concept visiblement.