Popular repositories Loading

1. acceleo-samples acceleo-samples Public

   projects demonstrating various acceleo features/limitations/bugs

   Java 1

2. Raw-IR-decoder-for-Arduino Raw-IR-decoder-for-Arduino Public

   Forked from adafruit/Raw-IR-decoder-for-Arduino

   Take raw IR signal from a remote receiver and print out pulse lengths

   Arduino 1

3. experiments experiments Public

   various experiments

   XSLT

4. eventb_intro eventb_intro Public

   Materials for an Event-B introductory presentation based on the Event-B Book "Cars on a bridge" example (ch. 2)

   1

5. git-serve-xml git-serve-xml Public

   Experiment with serving xml+xsl form a git repo by a web server

   XSLT

6. b-method-training b-method-training Public

   Training material for B-Method

   JavaScript