Repos by imandra-ai
imandra-ai / repos
74 repos
| Repo | Language | Stars | Rank | |
|---|---|---|---|---|
 | iex-auction-model | OCaml | 6 | 4,461 |
| imandra-starter-template | OCaml | 6 | 4,449 |
| socket.io-client-ocaml | OCaml | 5 | 5,065 |
| opam-repository | unknown | 5 | 302,620 |
| imandra-stdlib | Makefile | 5 | 9,339 |
| imandra-examples | OCaml | 4 | 5,843 |
| bs-imandra-client | OCaml | 4 | 5,673 |
| imandrakit | OCaml | 4 | 5,359 |
| ocyaml | OCaml | 3 | 6,812 |
| ocaml-engineio-client | OCaml | 3 | 6,794 |