--- 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)