hernanponcedeleon/Dat3M
A verification tool for many memory models
Star History
Momentum
+10
STARS · LAST 30 DAYS
1
PER DAY
#488
MOST-STARRED Java
| Window | 7 days | 30 days | 90 days |
|---|---|---|---|
| Stars gained | +7 | +10 | +90 |
| Per day | 1 | 1 | 1 |
| Forks gained | +1 | +3 | +10 |
Dat3M gained 10 stars in the last 30 days, about 1 a day, and now has 127. It is about 9 years old and has averaged roughly 14 stars a year. It ranks #488 among Java repositories and #6,291 across all languages on GitHubRepo.
Trending Record
4
DAYS ON TRENDING
#3377
BEST RANK
Sep 25, 2026
FIRST APPEARANCE
Active
STATUS TODAY
Dat3M has maintained a continuous presence across global trending indexes, peaking at #3377. Below is the 30-day activity profile:
💡 Overview
Dat3M is an open-source project written in Java: A verification tool for many memory models.
Engineered for speed, consistency, and developer ease, it solves common hurdles in Java. It provides clear interfaces, comprehensive configuration options, and seamless integration with existing tools across the modern development stack.
⚡ Key Features
Optimized execution pipeline written in Java for predictable speed.
Zero-friction configuration with comprehensive sensible defaults out of the box.
Cross-platform runtime support across Linux, macOS, and Windows environments.
Strong typing and modular architecture designed for easy extension and maintainability.
Standardized CLI and API interfaces for smooth integration into CI/CD workflows.
Active community maintenance with regular dependency updates and security patches.
📥 Installation
$ git clone https://github.com/hernanponcedeleon/Dat3M.git
cd Dat3M⚙ System Requirements
Platforms
- • macOS
- • Linux
- • Windows
Runtime & Dependencies
JDK 17 or higher (OpenJDK / GraalVM)
Architecture
x86_64, ARM64 (Apple Silicon & Graviton)
🧠 How It Works
Dat3M coordinates its core functionality through a modular Java pipeline. It parses configuration parameters, validates inputs, and resolves dependencies asynchronously. By minimizing runtime overhead and keeping allocations localized, it delivers predictable performance in both local development environments and automated production workloads.
🎯 Production Use Cases
Production System Integration
Embed Dat3M into Java backend services to handle core application logic.
CI/CD Automated Pipelines
Run automated validation, builds, and integration suites during deployments.
Developer Tooling & Workflows
Accelerate developer onboarding with pre-configured project utilities.
Open Source Extension
Fork and customize internal modules under the repository's open MIT license.
🚀 Getting Started
Install Dat3M using your package manager: `git clone https://github.com/hernanponcedeleon/Dat3M.git`
Initialize your project workspace or configuration file for Dat3M.
Import Dat3M into your codebase or invoke it directly from your terminal.
Execute your test suite or run `Dat3M --help` to verify successful setup.
👍 Strengths
⚠️ Considerations
⇄ Alternatives & Direct Competitors
👥 Who Should Use This
Developers and engineering teams building with Java, seeking reliable, tested, and actively maintained tooling for production workloads.
🏆 Nearby in the Rankings
hernanponcedeleon/Dat3M is currently ranked #6,291 by stars across every repository tracked on GitHubRepo. These are adjacent projects:
| Rank | Repository | Language | Stars | Action |
|---|---|---|---|---|
| #6,274 | Alia5/VIIPER | Go | ★ 128 | Compare ↗ |
| #6,274 | webstonehq/seaquel | Rust | ★ 128 | Compare ↗ |
| #6,274 | NaufalRizqullah/opensource-clipping | Python | ★ 128 | Compare ↗ |
| #6,274 | firetower-cloud/firetower | TypeScript | ★ 128 | Compare ↗ |
| #6,274 | HeyPuter/builder | JavaScript | ★ 128 | Compare ↗ |
| #6,291 | hernanponcedeleon/Dat3M This Project | Java | ★ 127 | |
| #6,291 | heycarsten/email-veracity | Ruby | ★ 127 | Compare ↗ |
| #6,291 | defunkt/nginx_config_generator | Ruby | ★ 127 | Compare ↗ |
| #6,291 | selenide-examples/google | Java | ★ 127 | Compare ↗ |
| #6,291 | apache/whimsy | Ruby | ★ 127 | Compare ↗ |
| #6,291 | gmazzo/okhttp-client-mock | Java | ★ 127 | Compare ↗ |
Frequently Asked Questions
What does Dat3M do? +
A verification tool for many memory models
What language is Dat3M written in? +
The primary language is Java. Topics include: software.
Is Dat3M actively maintained? +
Yes, the last recorded push was on Sep 26, 2026 with 40 open issues being tracked.
How many stars does Dat3M have? +
Dat3M has 127 stars and 39 forks on GitHub.
How does Dat3M rank among GitHub repositories? +
With 127 stars, hernanponcedeleon/Dat3M is ranked #6,291 globally across all repositories tracked on GitHubRepo and #488 among Java projects.
What license is Dat3M distributed under? +
The repository reports a MIT license. Always verify the repository LICENSE file for legal terms.
