Generic model checker for concurrent C programs (mirror repository)
Star History
Momentum
+10
STARS · LAST 30 DAYS
1
PER DAY
#407
MOST-STARRED C++
| Window | 7 days | 30 days | 90 days |
|---|---|---|---|
| Stars gained | +7 | +10 | +90 |
| Per day | 1 | 1 | 1 |
| Forks gained | +1 | +3 | +10 |
genmc gained 10 stars in the last 30 days, about 1 a day, and now has 211. It is about 8 years old and has averaged roughly 26 stars a year. It ranks #407 among C++ repositories and #5,671 across all languages on GitHubRepo.
Trending Record
6
DAYS ON TRENDING
#1976
BEST RANK
Sep 24, 2026
FIRST APPEARANCE
Active
STATUS TODAY
genmc has maintained a continuous presence across global trending indexes, peaking at #1976. Below is the 30-day activity profile:
💡 Overview
genmc is an open-source project written in C++: Generic model checker for concurrent C programs (mirror repository).
Engineered for speed, consistency, and developer ease, it solves common hurdles in C++. 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 C++ 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/MPI-SWS/genmc.git
cd genmc⚙ System Requirements
Platforms
- • macOS
- • Linux
- • Windows
Runtime & Dependencies
C++20 compliant compiler (GCC 11+, Clang 13+, MSVC)
Architecture
x86_64, ARM64 (Apple Silicon & Graviton)
🧠 How It Works
genmc coordinates its core functionality through a modular C++ 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 genmc into C++ 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 Apache-2.0 license.
🚀 Getting Started
Install genmc using your package manager: `git clone https://github.com/MPI-SWS/genmc.git`
Initialize your project workspace or configuration file for genmc.
Import genmc into your codebase or invoke it directly from your terminal.
Execute your test suite or run `genmc --help` to verify successful setup.
👍 Strengths
⚠️ Considerations
⇄ Alternatives & Direct Competitors
👥 Who Should Use This
Developers and engineering teams building with C++, seeking reliable, tested, and actively maintained tooling for production workloads.
🏆 Nearby in the Rankings
MPI-SWS/genmc is currently ranked #5,671 by stars across every repository tracked on GitHubRepo. These are adjacent projects:
| Rank | Repository | Language | Stars | Action |
|---|---|---|---|---|
| #5,663 | microsoft/o365-moodle | PHP | ★ 212 | Compare ↗ |
| #5,663 | newrelic/terraform-provider-newrelic | Go | ★ 212 | Compare ↗ |
| #5,663 | MaxRev-Dev/gdal.netcore | C# | ★ 212 | Compare ↗ |
| #5,663 | ktisis-tools/Ktisis | C# | ★ 212 | Compare ↗ |
| #5,663 | soybeanjs/soybean-ui | TypeScript | ★ 212 | Compare ↗ |
| #5,671 | MPI-SWS/genmc This Project | C++ | ★ 211 | |
| #5,671 | jmhodges/rchardet | Ruby | ★ 211 | Compare ↗ |
| #5,671 | xlsuite/xlsuite | Ruby | ★ 211 | Compare ↗ |
| #5,671 | enonic/xp | Java | ★ 211 | Compare ↗ |
| #5,671 | googleads/google-ads-java | Java | ★ 211 | Compare ↗ |
| #5,671 | lsfusion/platform | Java | ★ 211 | Compare ↗ |
Frequently Asked Questions
What does genmc do? +
Generic model checker for concurrent C programs (mirror repository)
What language is genmc written in? +
The primary language is C++. Topics include: software.
Is genmc actively maintained? +
Yes, the last recorded push was on Sep 24, 2026 with 21 open issues being tracked.
How many stars does genmc have? +
genmc has 211 stars and 32 forks on GitHub.
How does genmc rank among GitHub repositories? +
With 211 stars, MPI-SWS/genmc is ranked #5,671 globally across all repositories tracked on GitHubRepo and #407 among C++ projects.
What license is genmc distributed under? +
The repository reports a Apache-2.0 license. Always verify the repository LICENSE file for legal terms.
