GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
agacek
/
PythonSymbolicExecution
Public
Python symbolic execution examples
MIT License
Updated Feb 2, 2026
Created Oct 5, 2025
View on GitHub
6
stars
0
forks
0
watchers
0
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
AG
agacek
9 commits
Recent Stargazers
BU
buknon
2 months ago
CG
cglucks
2 months ago
SI
siolta
2 months ago
FO
FoodyFood
2 months ago
SO
sorawee
about 2 months ago
KB
kbridge
about 21 hours ago
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
12
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 0
Closed Issues 0
Open Issues
0
Activity Peak
Most recent day with highest activity
Feb 2, 2026 • 1 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.