Repos by imandra-ai

imandra-ai / repos

74 repos

«1...345...8»
RepoLanguageStarsRank
imandra-ai/ipl-spacemacs-layer on Githubipl-spacemacs-layerEmacs Lisp310,588
imandra-ai/imandra-reason-parser on Githubimandra-reason-parserOCaml36,673
imandra-ai/iml-vscode on Githubiml-vscodeunknown3479,753
imandra-ai/demo-smart-constructors on Githubdemo-smart-constructorsOCaml36,630
imandra-ai/batsmt-ocaml on Githubbatsmt-ocamlRust389,528
imandra-ai/cbor-pack on Githubcbor-packOCaml36,228
imandra-ai/batrpc on GithubbatrpcOCaml36,172
imandra-ai/tutorials on Githubtutorialsunknown2790,465
imandra-ai/behavior-planning on Githubbehavior-planningOCaml28,277
imandra-ai/imandra-vscode on Githubimandra-vscodeTypeScript2423,221