GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
Martin1887
/
scorpion
Public
Classical planning system featuring (saturated) cost partitioning
GNU General Public License v3.0
Updated Feb 6, 2026
Created Mar 9, 2023
View on GitHub
1
stars
0
forks
0
watchers
1
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
JE
jendrikseipp
6541 commits
FL
FlorianPommerening
1703 commits
MA
maltehelmert
1559 commits
RO
roeger
281 commits
TH
TheOneRing
269 commits
PA
PatrickFerber
192 commits
SA
salome-eriksson
174 commits
CL
ClemensBuechner
170 commits
KA
karpase
169 commits
GF
gfrances
56 commits
Recent Stargazers
MA
Martin1887
about 1 year ago
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
26,399
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 1
Closed Issues 2
Open Issues
3
Activity Peak
Most recent day with highest activity
Feb 6, 2026 • 2 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.