search

Octachron / codept

Contextual Ocaml DEPendencies Tool: alternative ocaml dependency analyzer
Other
59 stars 10 forks source link

Sharing how DkCoder uses codept #36

Open jonahbeckford opened 4 months ago

jonahbeckford commented 4 months ago

Thanks for releasing this tool!

I've made a repository with my codept solver loop. https://gitlab.com/diskuv/share/dkcoder-codept. Two reasons:

  1. Hopefully it will be good to see how others are using your library.
  2. I think of ModuleUniverse as a high-level API over codept/lib/. Maybe others can use something similar to make their own solver loops. In my case I needed something quite different than how codept/core/ uses codept/lib/.

If you want anything in that code I'll upstream/re-license/whatever.

Octachron commented 4 months ago

Thanks a lot ! I will have a look once I am less busy with the OCaml compiler (which will happen some day... surely?).