https://github.com/imandra-ai/imandrakit

Core utils library for Imandra
https://github.com/imandra-ai/imandrakit

containers moonpool ocaml

Last synced: about 1 month ago
JSON representation

Core utils library for Imandra

• Host: GitHub
• URL: https://github.com/imandra-ai/imandrakit
• Owner: imandra-ai
• Created: 2024-03-20T19:51:23.000Z (8 months ago)
• Default Branch: main
• Last Pushed: 2024-09-23T15:25:18.000Z (about 2 months ago)
• Last Synced: 2024-09-30T06:40:14.978Z (about 2 months ago)
• Topics: containers, moonpool, ocaml
• Language: OCaml
• Homepage: http://docs.imandra.ai/imandrakit/
• Size: 7.25 MB
• Stars: 4
• Watchers: 8
• Forks: 0
• Open Issues: 2
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        

# Imandrakit

[![Build and Test](https://github.com/imandra-ai/imandrakit/actions/workflows/main.yml/badge.svg)](https://github.com/imandra-ai/imandrakit/actions/workflows/main.yml)

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

It builds on top of [containers](https://github.com/c-cube/ocaml-containers/), [Moonpool](https://github.com/c-cube/moonpool/), as well as `mtime`, `ptime`, `logs`, `hmap`, `base64`, `uuidm`, and `ppx_deriving`.

## License

MIT