# hernanponcedeleon/Dat3M

<https://repo.masters-masters.com/en/repos/hernanponcedeleon/Dat3M>

[Home](https://repo.masters-masters.com/en) › [hernanponcedeleon](https://repo.masters-masters.com/en/owners/hernanponcedeleon) › [Dat3M](https://repo.masters-masters.com/en/repos/hernanponcedeleon/Dat3M)

hernanponcedeleon/Dat3M has 129 stars on GitHub. Its RepoMasters card: Prototype tier. A verification tool for many memory models Language: Java.

| Field | Value |
| --- | --- |
| Owner | [hernanponcedeleon](https://repo.masters-masters.com/en/owners/hernanponcedeleon) |
| Stars | 129 |
| Forks | 40 |
| Language | [Java](https://repo.masters-masters.com/en/languages/java) |
| License | MIT |
| Created | 2017 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [hernanponcedeleon/Dat3M](https://github.com/hernanponcedeleon/Dat3M) |

## Repository

A verification tool for many memory models

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

## Nearby in Java

- [paohaijiao/jquick-excel · ★ 129 · Java · Prototype](https://repo.masters-masters.com/en/repos/paohaijiao/jquick-excel)
- [microsoft/copilot-for-eclipse · ★ 129 · Java · Prototype](https://repo.masters-masters.com/en/repos/microsoft/copilot-for-eclipse)
- [OpenAIPay/openaipay · ★ 129 · Java · Prototype](https://repo.masters-masters.com/en/repos/OpenAIPay/openaipay)
- [EngineHub/CommandHelper · ★ 129 · Java · Prototype](https://repo.masters-masters.com/en/repos/EngineHub/CommandHelper)
- [SimpleServer/SimpleServer · ★ 129 · Java · Prototype](https://repo.masters-masters.com/en/repos/SimpleServer/SimpleServer)
- [xiaoningning/java-algorithm-2010 · ★ 129 · Java · Prototype](https://repo.masters-masters.com/en/repos/xiaoningning/java-algorithm-2010)

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