Repos by imandra-ai
imandra-ai / repos
74 repos
| Repo | Language | Stars | Rank | |
|---|---|---|---|---|
 | bs-jest-expect-imandra | OCaml | 2 | 8,111 |
| imandra-client-http-server | OCaml | 2 | 8,001 |
| imandra-ptime | OCaml | 2 | 7,659 |
| imandra-http-api-client | OCaml | 2 | 7,446 |
| verified-metitarski | Standard ML | 1 | 1,210 |
| pa_do | OCaml | 1 | 11,966 |
| imandra-stats-experiments | Jupyter Notebook | 1 | 861,470 |
| imandra-merlin | OCaml | 1 | 11,792 |
| imandra-issues | unknown | 1 | 2,344,848 |
| seating-planner | JavaScript | 1 | 3,033,634 |