diff --git a/asli.opam b/asli.opam
index c36f30e1..113ecdfb 100644
--- a/asli.opam
+++ b/asli.opam
@@ -26,9 +26,6 @@ depends: [
   "z3" {>= "4.8.7"}
   "alcotest" {with-test}
   "ppx_blob"
-  "lwt"
-  "cohttp-lwt-unix"
-  "yojson"
   "mlbdd"
   "odoc" {with-doc}
 ]
diff --git a/aslp_server/aslp_server.opam b/aslp_server/aslp_server.opam
new file mode 100644
index 00000000..e8c36ccd
--- /dev/null
+++ b/aslp_server/aslp_server.opam
@@ -0,0 +1,34 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "A short synopsis"
+description: "A longer description"
+maintainer: ["Maintainer Name"]
+authors: ["Author Name"]
+license: "LICENSE"
+tags: ["topics" "to describe" "your" "project"]
+homepage: "https://github.com/username/reponame"
+doc: "https://url/to/documentation"
+bug-reports: "https://github.com/username/reponame/issues"
+depends: [
+  "ocaml"
+  "dune" {>= "3.16"}
+  "cohttp-lwt-unix"
+  "yojson"
+  "asli" {= "0.2.0"}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/username/reponame.git"
diff --git a/aslp_server/bin/dune b/aslp_server/bin/dune
new file mode 100644
index 00000000..4bf7d5df
--- /dev/null
+++ b/aslp_server/bin/dune
@@ -0,0 +1,6 @@
+(executable
+ (public_name aslp_server)
+ (name main)
+ (modules main)
+ (libraries asli.libASL lwt.unix yojson cohttp-lwt cohttp-lwt-unix pprint))
+
diff --git a/bin/server.ml b/aslp_server/bin/main.ml
similarity index 97%
rename from bin/server.ml
rename to aslp_server/bin/main.ml
index 759eee24..c1551c86 100644
--- a/bin/server.ml
+++ b/aslp_server/bin/main.ml
@@ -1,17 +1,9 @@
 open LibASL
 
-
-open Yojson
 open Cohttp
-open Cohttp_lwt
 open Cohttp_lwt_unix
-open String
 open List
-open Array
 open Asl_ast
-open Value
-open Eval
-open Asl_utils
 open Lwt
 
 
diff --git a/aslp_server/dune-project b/aslp_server/dune-project
new file mode 100644
index 00000000..ee4073d0
--- /dev/null
+++ b/aslp_server/dune-project
@@ -0,0 +1,30 @@
+(lang dune 3.16)
+
+(name aslp_server)
+
+(generate_opam_files true)
+
+(source
+ (github username/reponame))
+
+(authors "Author Name")
+
+(maintainers "Maintainer Name")
+
+(license LICENSE)
+
+(documentation https://url/to/documentation)
+
+(package
+ (name aslp_server)
+ (synopsis "A short synopsis")
+ (description "A longer description")
+ (depends ocaml dune
+    "cohttp-lwt-unix"
+    "yojson"
+    ("asli" (= 0.2.0))
+ )
+ (tags
+  (topics "to describe" your project)))
+
+; See the complete stanza docs at https://dune.readthedocs.io/en/stable/reference/dune-project/index.html
diff --git a/aslp_server/lib/dune b/aslp_server/lib/dune
new file mode 100644
index 00000000..adcd4474
--- /dev/null
+++ b/aslp_server/lib/dune
@@ -0,0 +1,2 @@
+(library
+ (name aslp_server))
diff --git a/aslp_server/test/dune b/aslp_server/test/dune
new file mode 100644
index 00000000..cc27592b
--- /dev/null
+++ b/aslp_server/test/dune
@@ -0,0 +1,2 @@
+(test
+ (name test_aslp_server))
diff --git a/aslp_server/test/test_aslp_server.ml b/aslp_server/test/test_aslp_server.ml
new file mode 100644
index 00000000..e69de29b
diff --git a/bin/dune b/bin/dune
index 7b572c03..72b325f5 100644
--- a/bin/dune
+++ b/bin/dune
@@ -8,15 +8,6 @@
  (libraries asli.libASL linenoise pprint)
  )
 
-(executable
- (name server)
- (public_name aslp-server)
- (modes exe)
- (modules server)
- (flags (-cclib -lstdc++))
- (libraries asli.libASL pprint lwt.unix yojson cohttp-lwt cohttp-lwt-unix))
-
-
 (executable
  (name testlexer)
  (modes exe)
diff --git a/dune-project b/dune-project
index ec36847e..f78a06fc 100644
--- a/dune-project
+++ b/dune-project
@@ -24,9 +24,6 @@
     ("z3"        (>= "4.8.7"))
     ("alcotest"  :with-test)
     "ppx_blob"
-    "lwt"
-    "cohttp-lwt-unix"
-    "yojson"
     "mlbdd"
   )
 )