diff --git a/web/dune b/web/dune
new file mode 100644
index 00000000..0c1ced8f
--- /dev/null
+++ b/web/dune
@@ -0,0 +1,11 @@
+(executable
+ (name js)
+ (modes js)
+ (modules js)
+ (libraries z3 libASLResources dune-site str zarith pprint zarith_stubs_js)
+ (js_of_ocaml (flags --debug-info --no-inline :standard \ --source-map-inline))
+ )
+
+(alias
+ (name default)
+ (deps js.bc.js index.html))
diff --git a/web/index.html b/web/index.html
new file mode 100644
index 00000000..1288b982
--- /dev/null
+++ b/web/index.html
@@ -0,0 +1,9 @@
+
+
+
+ Cubes
+
+
+
+
+
diff --git a/web/js.ml b/web/js.ml
new file mode 100644
index 00000000..8e5deaa9
--- /dev/null
+++ b/web/js.ml
@@ -0,0 +1,4 @@
+let () =
+ print_endline "hello from js";
+ print_endline @@ Int.to_string @@ List.length LibASLResources.Res.Sites.aslfiles
+ (* print_endline @@ LibASL.Value.(pp_value @@ from_bitsLit "100") *)