├── .gitignore ├── .ocamlformat ├── README.md ├── bin ├── catty.ml └── dune ├── catty.opam ├── dune-project ├── mirage ├── config.ml ├── nottui_mirage.ml ├── notty_mirage.ml └── unikernel.ml ├── src ├── action.ml ├── action.mli ├── address.ml ├── address.mli ├── catty.ml ├── dune ├── engine.ml ├── fiber.ml ├── fiber.mli ├── help.ml ├── history.ml ├── history.mli ├── implicit.ml ├── implicit.mli ├── message.ml ├── message.mli ├── mode.ml ├── name.ml ├── prompt.ml ├── prompt.mli ├── rb.ml ├── rb.mli ├── rope.ml ├── rope.mli ├── rp.ml ├── server.ml ├── server.mli ├── status.ml ├── status.mli ├── tabs.ml ├── tabs.mli ├── task │ ├── dune │ ├── task.ml │ └── task.mli ├── tasks.ml ├── tasks.mli ├── uid.ml ├── uid.mli ├── user.ml ├── user.mli ├── window.ml ├── windows.ml └── windows.mli └── test └── rope ├── dune └── test.ml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/.gitignore -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/.ocamlformat -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/README.md -------------------------------------------------------------------------------- /bin/catty.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/bin/catty.ml -------------------------------------------------------------------------------- /bin/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/bin/dune -------------------------------------------------------------------------------- /catty.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/catty.opam -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.0) 2 | (name kit) 3 | -------------------------------------------------------------------------------- /mirage/config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/mirage/config.ml -------------------------------------------------------------------------------- /mirage/nottui_mirage.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/mirage/nottui_mirage.ml -------------------------------------------------------------------------------- /mirage/notty_mirage.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/mirage/notty_mirage.ml -------------------------------------------------------------------------------- /mirage/unikernel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/mirage/unikernel.ml -------------------------------------------------------------------------------- /src/action.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/action.ml -------------------------------------------------------------------------------- /src/action.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/action.mli -------------------------------------------------------------------------------- /src/address.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/address.ml -------------------------------------------------------------------------------- /src/address.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/address.mli -------------------------------------------------------------------------------- /src/catty.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/catty.ml -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/dune -------------------------------------------------------------------------------- /src/engine.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/engine.ml -------------------------------------------------------------------------------- /src/fiber.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/fiber.ml -------------------------------------------------------------------------------- /src/fiber.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/fiber.mli -------------------------------------------------------------------------------- /src/help.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/help.ml -------------------------------------------------------------------------------- /src/history.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/history.ml -------------------------------------------------------------------------------- /src/history.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/history.mli -------------------------------------------------------------------------------- /src/implicit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/implicit.ml -------------------------------------------------------------------------------- /src/implicit.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/implicit.mli -------------------------------------------------------------------------------- /src/message.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/message.ml -------------------------------------------------------------------------------- /src/message.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/message.mli -------------------------------------------------------------------------------- /src/mode.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/mode.ml -------------------------------------------------------------------------------- /src/name.ml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/prompt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/prompt.ml -------------------------------------------------------------------------------- /src/prompt.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/prompt.mli -------------------------------------------------------------------------------- /src/rb.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/rb.ml -------------------------------------------------------------------------------- /src/rb.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/rb.mli -------------------------------------------------------------------------------- /src/rope.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/rope.ml -------------------------------------------------------------------------------- /src/rope.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/rope.mli -------------------------------------------------------------------------------- /src/rp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/rp.ml -------------------------------------------------------------------------------- /src/server.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/server.ml -------------------------------------------------------------------------------- /src/server.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/server.mli -------------------------------------------------------------------------------- /src/status.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/status.ml -------------------------------------------------------------------------------- /src/status.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/status.mli -------------------------------------------------------------------------------- /src/tabs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/tabs.ml -------------------------------------------------------------------------------- /src/tabs.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/tabs.mli -------------------------------------------------------------------------------- /src/task/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/task/dune -------------------------------------------------------------------------------- /src/task/task.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/task/task.ml -------------------------------------------------------------------------------- /src/task/task.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/task/task.mli -------------------------------------------------------------------------------- /src/tasks.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/tasks.ml -------------------------------------------------------------------------------- /src/tasks.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/tasks.mli -------------------------------------------------------------------------------- /src/uid.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/uid.ml -------------------------------------------------------------------------------- /src/uid.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/uid.mli -------------------------------------------------------------------------------- /src/user.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/user.ml -------------------------------------------------------------------------------- /src/user.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/user.mli -------------------------------------------------------------------------------- /src/window.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/window.ml -------------------------------------------------------------------------------- /src/windows.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/windows.ml -------------------------------------------------------------------------------- /src/windows.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/src/windows.mli -------------------------------------------------------------------------------- /test/rope/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/test/rope/dune -------------------------------------------------------------------------------- /test/rope/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/robur-coop/catty/HEAD/test/rope/test.ml --------------------------------------------------------------------------------