Repos by imandra-ai

imandra-ai / repos

74 repos

«123...8»
RepoLanguageStarsRank
imandra-ai/vega-lite on Githubvega-liteOCaml162,133
imandra-ai/cme-mdp on Githubcme-mdpJupyter Notebook1353,013
imandra-ai/ocaml-pltp on Githubocaml-pltpOCaml132,544
imandra-ai/imandra-prelude on Githubimandra-preludeOCaml122,686
imandra-ai/ipl-examples on Githubipl-examplesunknown11159,915
imandra-ai/batsmt on GithubbatsmtSMT1054
imandra-ai/mhash on GithubmhashOCaml103,025
imandra-ai/catapult on GithubcatapultOCaml93,243
imandra-ai/ipl-vscode on Githubipl-vscodeunknown8206,113
imandra-ai/imandra-docs on Githubimandra-docsJupyter Notebook791,369