diff --git a/dune b/dune
new file mode 100644
index 0000000..939bfdd
--- /dev/null
+++ b/dune
@@ -0,0 +1,13 @@
+(include_subdirs unqualified)
+
+(env
+ (_
+  (flags
+   (:standard -warn-error -a))))
+
+(executables
+ (names main tests fuzzer stats linearbaseline matcher benchmark)
+ (libraries
+  unix
+  ocaml_intrinsics
+  yojson))
\ No newline at end of file
diff --git a/dune-project b/dune-project
new file mode 100644
index 0000000..375c05a
--- /dev/null
+++ b/dune-project
@@ -0,0 +1,4 @@
+(lang dune 3.0)
+(name regelk)
+(generate_opam_files true)
+(using menhir 2.1)
\ No newline at end of file
diff --git a/regelk.opam b/regelk.opam
index bf3cc9f..2574112 100644
--- a/regelk.opam
+++ b/regelk.opam
@@ -1,17 +1,23 @@
+# This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
 synopsis: "OCaml Linear Engine for JavaScript Regexes"
 authors: ["Aurèle Barrière" "Clément Pit-Claudel"]
 homepage: "https://github.com/epfl-systemf/RegElk"
 depends: [
-    "ocaml" {>= "5.0.0"}
-    "yojson" {= "2.1.0"}
-    "menhir" {= "20220210"}
-    "core" {= "v0.15.1"}
-    "core_unix" {= "v0.15.2"}
-    "core_bench" {= "v0.15.0"}
-    "ocamlbuild" {= "0.14.1"}
-    "ocaml_intrinsics" {= "v0.15.2"}
-    "ocamlfind" {= "1.9.8"}
+  "dune" {>= "3.0"}
+  "odoc" {with-doc}
 ]
 build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
 ]