GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
safednn-nasa
/
DNN-Prophecy
Public
DNN-Prophecy is a tool for automatically inferring formal properties of deep neural networks.
Other
Updated Jan 19, 2026
Created Nov 5, 2024
View on GitHub
2
stars
0
forks
2
watchers
0
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
DI
DivyaGOP
673 commits
EP
epicosy
85 commits
CO
corinus
42 commits
Recent Stargazers
MI
MiSFiT5
about 2 months ago
AO
aogrcs
21 days ago
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
161,546
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
Jan 19, 2026 • 1 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.