ZOYKUHot Board
ZOYKU · Open Source Intelligence · Repository archive

domschrei/mallob

Scalable Automated Reasoning for HPC and Clouds

C++Actively maintained · Pushed 2d ago
DocumentationOpen on GitHub
stars
100
forks
34
issues
11
Daily star gain
—
days old
3d
6-Axis Combat Radar

Combat Limits & Architectural Persona

Compare with other repos ->
Architectural Persona
High-Adoption Ecosystem Core
Substantial fork ratio reflecting heavy downstream adaptation
Combat Score
45
/ 100
7-Day Star Velocity
0
Fork/Star Adoption
34.0%

Cumulative stars

Next Milestone: 500 (400 stars to go)
2026-11-08: 100
Daily star gain
Max: +1 / day

Similar projects · shared language & topics

tensorflow/tensorflow201.4kggml-org/llama.cpp133.7kreact/react-native126.9kelectron/electron123.8kgodotengine/godot119.8kmicrosoft/terminal105.4k
Maintainer Badge Studio

Embed GitHub README Live Badge

Embed dynamic SVG badges into your README to reflect real-time rankings and documentation mirrors.

Preview240 x 64 px SVG
GitHub Dark ThemeGitHub Hot Rank - domschrei/mallob Dark Preview
GitHub Light ThemeGitHub Hot Rank - domschrei/mallob Light Preview
GitHub README <picture> (Auto Dark/Light)
<a href="https://git.zoyku.com/en/repo/domschrei/mallob" target="_blank" rel="noopener noreferrer">
  <picture>
    <source media="(prefers-color-scheme: dark)" srcset="https://git.zoyku.com/api/badge/card/domschrei/mallob?theme=dark&lang=en" />
    <img alt="GitHub Hot Rank - domschrei/mallob" src="https://git.zoyku.com/api/badge/card/domschrei/mallob?theme=light&lang=en" height="64" />
  </picture>
</a>