# GitHub repos by imandra-ai

<https://repo.masters-masters.com/en/owners/imandra-ai>

[Home](https://repo.masters-masters.com/en) › [imandra-ai](https://repo.masters-masters.com/en/owners/imandra-ai)

The public GitHub repo by imandra-ai in RepoMasters, the trading card game of open source: stars, language, tier and card.

## GitHub repos by imandra-ai

1 public repo by imandra-ai in the catalog, most starred first.

- [imandra-ai/verified-react · ★ 119 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/imandra-ai/verified-react)

## See imandra-ai on GitHub

- [https://github.com/imandra-ai](https://github.com/imandra-ai)

---
Data: GitHub