Is there a minimalist window manager scriptable in OCaml ? I’m currently using XMonad/Haskell, and I’m wondering if there is a way to swap this for something OCaml based. In particular, I need something which does the following: maintain a list of running processes for each process, maintain a l…

Not sure if it fits all your requirements, but I recall that there was a project on verifying xmonad in Coq ( https://dl.acm.org/doi/abs/10.1145/2364506.2364523 ) — while that project involved extracting the verified Coq/Gallina code to Haskell, I guess you could also try and extract it to OCaml, alth…

To my knowledge, this doesn’t really exist at the moment (there was GwML at some point, but I don’t think it is maintained anymore; I haven’t tried it either). I also think it would be really cool to have an OCaml-based WM / WM toolkit. In fact, trying to build something like this has been a side-p…

Window-manager / xmonad in OCaml?

Learning

Haudegen April 30, 2023, 1:41pm 4

Maybe you can draw some inspiration from Spatial Shell.

Topic		Replies	Views
Screen/tmux in ocaml? Learning	3	581	May 1, 2023
[ANN] ocaml-wayland (pure OCaml wayland protocol library) Community rpc , graphics	4	3294	November 18, 2021
Library for GUI? Community gui	55	19161	February 4, 2024
Blog: General thoughts on Ocaml & Haskell and OCaml's (supposedly) pathetic state of tooling Community opam , dune	51	9151	August 26, 2021
What's the well-liked GUI toolkit these days for OCaml Ecosystem gui , graphics	14	6999	November 14, 2022

Window-manager / xmonad in OCaml?

Related topics