# OCamlPro/alt-ergo

<https://repo.masters-masters.com/en/repos/OCamlPro/alt-ergo>

[Home](https://repo.masters-masters.com/en) › [OCamlPro](https://repo.masters-masters.com/en/owners/OCamlPro) › [alt-ergo](https://repo.masters-masters.com/en/repos/OCamlPro/alt-ergo)

OCamlPro/alt-ergo has 149 stars on GitHub. Its RepoMasters card: Prototype tier. OCamlPro public development repository for Alt-Ergo Language: OCaml.

| Field | Value |
| --- | --- |
| Owner | [OCamlPro](https://repo.masters-masters.com/en/owners/OCamlPro) |
| Stars | 149 |
| Forks | 37 |
| Language | [OCaml](https://repo.masters-masters.com/en/languages/ocaml) |
| License | None |
| Created | 2014 |
| Topics | satisfiability-modulo-theories |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [OCamlPro/alt-ergo](https://github.com/OCamlPro/alt-ergo) |

## Repository

OCamlPro public development repository for Alt-Ergo

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by OCamlPro

- [OCamlPro/owi · ★ 329 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/OCamlPro/owi)
- [OCamlPro/ocp-indent · ★ 226 · Raku · Prototype](https://repo.masters-masters.com/en/repos/OCamlPro/ocp-indent)
- [OCamlPro/drom · ★ 200 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/OCamlPro/drom)
- [OCamlPro/liquidity · ★ 158 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/OCamlPro/liquidity)
- [OCamlPro/ollvm · ★ 136 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/OCamlPro/ollvm)
- [OCamlPro/ocaml-cheat-sheets · ★ 133 · TeX · Prototype](https://repo.masters-masters.com/en/repos/OCamlPro/ocaml-cheat-sheets)

## Nearby in OCaml

- [anuragsoni/routes · ★ 150 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/anuragsoni/routes)
- [Chris00/ocaml-csv · ★ 149 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/Chris00/ocaml-csv)
- [aantron/markup.ml · ★ 149 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/aantron/markup.ml)
- [jacobaustin123/Coral · ★ 148 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/jacobaustin123/Coral)
- [dbuenzli/react · ★ 147 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/dbuenzli/react)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.