--- a/bsc-projects-18.html	Thu Sep 13 13:12:55 2018 +0100
+++ b/bsc-projects-18.html	Thu Sep 13 13:22:54 2018 +0100
@@ -173,7 +173,11 @@
 <li> <H4>[CU5] Grammars and Derivative-Based Parsing Algorithms</H4>
 
 <B>Literature:</B> <A HREF="https://www.cl.cam.ac.uk/~jdy22/papers/a-typed-algebraic-approach-to-parsing.pdf">paper</A>  
-  
+
+<li> <H4>[CU6] Webassembly Interpreter / Compiler</H4>
+
+<A HREF="https://github.com/WebAssembly/spec/tree/master/interpreter">Reference Interpreter</A>  
+
 <li> <H4>[CU2] A Compiler for a small Programming Language</H4>
 
   <p>
@@ -475,7 +479,7 @@
       </video>
     </center>  
 
-<li> <H4>[CU6] An Infrastructure for Displaying and Animating Code in a Web-Browser</H4>
+<li> <H4>[CU7] An Infrastructure for Displaying and Animating Code in a Web-Browser</H4>
   
 <p>
   <B>Description:</B>
@@ -503,7 +507,7 @@
   </p>
 
 
-<li> <H4>[CU7] Proving the Correctness of Programs</H4>
+<li> <H4>[CU8] Proving the Correctness of Programs</H4>
 
  <p>
  I am one of the main developers of the interactive theorem prover
@@ -537,7 +541,7 @@
   This project is for a very good student with a knack for theoretical things and formal reasoning.
   </p>
 
-<li> <H4>[CU8] Anything Security Related that is Interesting</H4>
+<li> <H4>[CU9] Anything Security Related that is Interesting</H4>
   
 <p>
 If you have your own project that is related to security (must be
@@ -545,7 +549,7 @@
 whether it would be suitable for a project.
 </p>
 
-<li> <H4>[CU8] Anything Interesting in the Areas</H4>
+<li> <H4>[CU10] Anything Interesting in the Areas</H4>
   
 <ul>
 <li><A HREF="http://elm-lang.org">Elm</A> (a reactive functional language for animating webpages; have a look at the cool examples, or <A HREF="http://pragmaticstudio.com/blog/2014/12/19/getting-started-with-elm">here</A> for an introduction)