diff --git a/dune-project b/dune-project
index 377674bb15..899760373f 100644
--- a/dune-project
+++ b/dune-project
@@ -1,2 +1,42 @@
 (lang dune 3.16)
-(using menhir 2.0)
+
+(name hazel)
+
+(generate_opam_files true)
+
+(source
+ (github hazelgrove/hazel))
+
+; (authors "Author")
+; (maintainers "Maintainer")
+
+(license MIT)
+
+(package
+ (name hazel)
+ (allow_empty)
+;  (synopsis "A short synopsis")
+;  (description "A longer description")
+ ; (tags
+ ; (topics "to describe" your project))
+ (depends
+  (ocaml
+   (>= 5.2.0))
+  (menhir
+   (>= 2.0))
+  yojson
+  (reason (= 3.11.0))
+  (ppx_yojson_conv_lib (= v0.16.0))
+  (ppx_yojson_conv (= v0.16.0))
+  (incr_dom (= v0.16.0))
+  (omd (= 1.3.2))
+  (ezjs_idb (= 0.1.1))
+  virtual_dom
+  ppx_deriving
+  ptmap
+  uuidm
+  unionFind
+  ocamlformat ; Maybe make a dev tag?
+  (junit_alcotest :with-test)))
+
+; See the complete stanza docs at https://dune.readthedocs.io/en/stable/reference/dune-project/index.html
diff --git a/hazel.opam b/hazel.opam
new file mode 100644
index 0000000000..8a3090137e
--- /dev/null
+++ b/hazel.opam
@@ -0,0 +1,40 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+license: "MIT"
+homepage: "https://github.com/hazelgrove/hazel"
+bug-reports: "https://github.com/hazelgrove/hazel/issues"
+depends: [
+  "dune" {>= "3.16"}
+  "ocaml" {>= "5.2.0"}
+  "menhir" {>= "2.0"}
+  "yojson"
+  "reason" {= "3.11.0"}
+  "ppx_yojson_conv_lib" {= "v0.16.0"}
+  "ppx_yojson_conv" {= "v0.16.0"}
+  "incr_dom" {= "v0.16.0"}
+  "omd" {= "1.3.2"}
+  "ezjs_idb" {= "0.1.1"}
+  "virtual_dom"
+  "ppx_deriving"
+  "ptmap"
+  "uuidm"
+  "unionFind"
+  "ocamlformat"
+  "junit_alcotest" {with-test}
+  "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/hazelgrove/hazel.git"
diff --git a/hazel.opam.locked b/hazel.opam.locked
new file mode 100644
index 0000000000..dae26ae89e
--- /dev/null
+++ b/hazel.opam.locked
@@ -0,0 +1,182 @@
+opam-version: "2.0"
+name: "hazel"
+version: "~dev"
+synopsis: "A short synopsis"
+description: "A longer description"
+maintainer: "Cyrus Omar"
+authors: "Cyrus Omar"
+license: "MIT"
+homepage: "https://github.com/hazelgrove/hazel"
+bug-reports: "https://github.com/hazelgrove/hazel/issues"
+depends: [
+  "abstract_algebra" {= "v0.16.0"}
+  "alcotest" {= "1.8.0" & with-test}
+  "angstrom" {= "0.16.0"}
+  "astring" {= "0.8.5"}
+  "async_js" {= "v0.16.0"}
+  "async_kernel" {= "v0.16.0"}
+  "async_rpc_kernel" {= "v0.16.0"}
+  "base" {= "v0.16.3"}
+  "base-bigarray" {= "base"}
+  "base-bytes" {= "base"}
+  "base-domains" {= "base"}
+  "base-nnp" {= "base"}
+  "base-threads" {= "base"}
+  "base-unix" {= "base"}
+  "base64" {= "3.5.1"}
+  "base_bigstring" {= "v0.16.0"}
+  "base_quickcheck" {= "v0.16.0"}
+  "bignum" {= "v0.16.0"}
+  "bigstringaf" {= "0.10.0"}
+  "bin_prot" {= "v0.16.0"}
+  "camlp-streams" {= "5.0.1"}
+  "cmdliner" {= "1.3.0"}
+  "conf-bash" {= "1"}
+  "conf-gmp" {= "4"}
+  "conf-pkg-config" {= "3"}
+  "core" {= "v0.16.2"}
+  "core_kernel" {= "v0.16.0"}
+  "cppo" {= "1.6.9"}
+  "csexp" {= "1.5.2"}
+  "diffable" {= "v0.16.0"}
+  "dune" {= "3.16.0"}
+  "dune-build-info" {= "3.16.0"}
+  "dune-configurator" {= "3.16.0"}
+  "either" {= "1.0.0"}
+  "ezjs_idb" {= "0.1.1"}
+  "ezjs_min" {= "0.3.0"}
+  "fieldslib" {= "v0.16.0"}
+  "fix" {= "20230505"}
+  "fmt" {= "0.9.0" & with-test}
+  "fpath" {= "0.7.3"}
+  "gen" {= "1.1"}
+  "gen_js_api" {= "1.1.2"}
+  "host-arch-x86_64" {= "1"}
+  "host-system-other" {= "1"}
+  "incr_dom" {= "v0.16.0"}
+  "incr_map" {= "v0.16.0"}
+  "incr_select" {= "v0.16.0"}
+  "incremental" {= "v0.16.1"}
+  "int_repr" {= "v0.16.0"}
+  "jane-street-headers" {= "v0.16.0"}
+  "janestreet_lru_cache" {= "v0.16.1"}
+  "js_of_ocaml" {= "5.8.2"}
+  "js_of_ocaml-compiler" {= "5.8.2"}
+  "js_of_ocaml-ppx" {= "5.8.2"}
+  "js_of_ocaml_patches" {= "v0.16.0"}
+  "jst-config" {= "v0.16.0"}
+  "junit" {= "2.0.2" & with-test}
+  "junit_alcotest" {= "2.0.2" & with-test}
+  "lambdasoup" {= "1.0.0"}
+  "markup" {= "1.0.3"}
+  "menhir" {= "20240715"}
+  "menhirCST" {= "20240715"}
+  "menhirLib" {= "20240715"}
+  "menhirSdk" {= "20240715"}
+  "merlin-extend" {= "0.6.1"}
+  "num" {= "1.5-1"}
+  "ocaml" {= "5.2.0"}
+  "ocaml-base-compiler" {= "5.2.0"}
+  "ocaml-compiler-libs" {= "v0.17.0"}
+  "ocaml-config" {= "3"}
+  "ocaml-options-vanilla" {= "1"}
+  "ocaml-syntax-shims" {= "1.0.0"}
+  "ocaml-version" {= "3.6.7"}
+  "ocamlbuild" {= "0.15.0"}
+  "ocamlfind" {= "1.9.6"}
+  "ocamlformat" {= "0.26.2"}
+  "ocamlformat-lib" {= "0.26.2"}
+  "ocp-indent" {= "1.8.1"}
+  "octavius" {= "1.2.2"}
+  "ojs" {= "1.1.2"}
+  "omd" {= "1.3.2"}
+  "parsexp" {= "v0.16.0"}
+  "ppx_assert" {= "v0.16.0"}
+  "ppx_base" {= "v0.16.0"}
+  "ppx_bench" {= "v0.16.0"}
+  "ppx_bin_prot" {= "v0.16.0"}
+  "ppx_cold" {= "v0.16.0"}
+  "ppx_compare" {= "v0.16.0"}
+  "ppx_custom_printf" {= "v0.16.0"}
+  "ppx_derivers" {= "1.2.1"}
+  "ppx_deriving" {= "6.0.2"}
+  "ppx_disable_unused_warnings" {= "v0.16.0"}
+  "ppx_enumerate" {= "v0.16.0"}
+  "ppx_expect" {= "v0.16.0"}
+  "ppx_fields_conv" {= "v0.16.0"}
+  "ppx_fixed_literal" {= "v0.16.0"}
+  "ppx_globalize" {= "v0.16.0"}
+  "ppx_hash" {= "v0.16.0"}
+  "ppx_here" {= "v0.16.0"}
+  "ppx_ignore_instrumentation" {= "v0.16.0"}
+  "ppx_inline_test" {= "v0.16.1"}
+  "ppx_jane" {= "v0.16.0"}
+  "ppx_js_style" {= "v0.16.0"}
+  "ppx_let" {= "v0.16.0"}
+  "ppx_log" {= "v0.16.0"}
+  "ppx_module_timer" {= "v0.16.0"}
+  "ppx_optcomp" {= "v0.16.0"}
+  "ppx_optional" {= "v0.16.0"}
+  "ppx_pattern_bind" {= "v0.16.0"}
+  "ppx_pipebang" {= "v0.16.0"}
+  "ppx_sexp_conv" {= "v0.16.0"}
+  "ppx_sexp_message" {= "v0.16.0"}
+  "ppx_sexp_value" {= "v0.16.0"}
+  "ppx_stable" {= "v0.16.0"}
+  "ppx_stable_witness" {= "v0.16.0"}
+  "ppx_string" {= "v0.16.0"}
+  "ppx_tydi" {= "v0.16.0"}
+  "ppx_typerep_conv" {= "v0.16.0"}
+  "ppx_variants_conv" {= "v0.16.0"}
+  "ppx_yojson_conv" {= "v0.16.0"}
+  "ppx_yojson_conv_lib" {= "v0.16.0"}
+  "ppxlib" {= "0.33.0"}
+  "protocol_version_header" {= "v0.16.0"}
+  "ptime" {= "1.1.0" & with-test}
+  "ptmap" {= "2.0.5"}
+  "re" {= "1.11.0"}
+  "reason" {= "3.11.0"}
+  "result" {= "1.5"}
+  "sedlex" {= "3.2"}
+  "seq" {= "base"}
+  "sexplib" {= "v0.16.0"}
+  "sexplib0" {= "v0.16.0"}
+  "splittable_random" {= "v0.16.0"}
+  "stdio" {= "v0.16.0"}
+  "stdlib-shims" {= "0.3.0"}
+  "stored_reversed" {= "v0.16.0"}
+  "streamable" {= "v0.16.1"}
+  "stringext" {= "1.6.0"}
+  "time_now" {= "v0.16.0"}
+  "topkg" {= "1.0.7"}
+  "typerep" {= "v0.16.0"}
+  "tyxml" {= "4.6.0"}
+  "uchar" {= "0.0.2"}
+  "unionFind" {= "20220122"}
+  "uri" {= "4.4.0"}
+  "uri-sexp" {= "4.4.0"}
+  "uucp" {= "15.1.0"}
+  "uuidm" {= "0.9.8"}
+  "uuseg" {= "15.1.0"}
+  "uutf" {= "1.0.3"}
+  "variantslib" {= "v0.16.0"}
+  "virtual_dom" {= "v0.16.0"}
+  "yojson" {= "2.2.2"}
+  "zarith" {= "1.14"}
+  "zarith_stubs_js" {= "v0.16.1"}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/hazelgrove/hazel.git"
\ No newline at end of file