# au-ts/cogent

<https://repo.masters-masters.com/en/repos/au-ts/cogent>

[Home](https://repo.masters-masters.com/en) › [au-ts](https://repo.masters-masters.com/en/owners/au-ts) › [cogent](https://repo.masters-masters.com/en/repos/au-ts/cogent)

au-ts/cogent has 184 stars on GitHub. Its RepoMasters card: Prototype tier. Cogent Project Language: Isabelle.

| Field | Value |
| --- | --- |
| Owner | [au-ts](https://repo.masters-masters.com/en/owners/au-ts) |
| Stars | 184 |
| Forks | 28 |
| Language | [Isabelle](https://repo.masters-masters.com/en/languages/isabelle) |
| License | None |
| Created | 2016 |
| Topics | file-systems, verification, programming-languages, isabelle-hol, co-generation |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [au-ts/cogent](https://github.com/au-ts/cogent) |

## Repository

Cogent Project

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

## More repos by au-ts

- [au-ts/lionsos · ★ 284 · C · Alpha](https://repo.masters-masters.com/en/repos/au-ts/lionsos)

## Nearby in Isabelle

- [seL4/l4v · ★ 659 · Isabelle · Alpha](https://repo.masters-masters.com/en/repos/seL4/l4v)
- [pirapira/eth-isabelle · ★ 245 · Isabelle · Prototype](https://repo.masters-masters.com/en/repos/pirapira/eth-isabelle)
- [elastic/elasticsearch-formal-models · ★ 216 · Isabelle · Prototype](https://repo.masters-masters.com/en/repos/elastic/elasticsearch-formal-models)
- [marlowe-lang/marlowe · ★ 174 · Isabelle · Prototype](https://repo.masters-masters.com/en/repos/marlowe-lang/marlowe)
- [seL4/isabelle · ★ 143 · Isabelle · Prototype](https://repo.masters-masters.com/en/repos/seL4/isabelle)
- [awslabs/AutoCorrode · ★ 114 · Isabelle · Prototype](https://repo.masters-masters.com/en/repos/awslabs/AutoCorrode)

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