Imandrakit

This is the core library used to build some of Imandra's projects.

It builds on top of containers, Moonpool, as well as mtime, ptime, logs, hmap, base64, uuidm, and ppx_deriving.

License

MIT

Name		Name	Last commit message	Last commit date
Latest commit History 181 Commits
.github/workflows		.github/workflows
src		src
test		test
.gitignore		.gitignore
.ocamlformat		.ocamlformat
Makefile		Makefile
README.md		README.md
dune		dune
dune-project		dune-project
imandrakit-io.opam		imandrakit-io.opam
imandrakit-log.opam		imandrakit-log.opam
imandrakit-thread.opam		imandrakit-thread.opam
imandrakit.opam		imandrakit.opam
twine-utils.opam		twine-utils.opam
twine-utils.sh		twine-utils.sh