Runtime Monitoring
4 projects
Showing 4 of 4 projects
VigilPython
A programming language that automatically deletes functions that fail to meet their specified contracts during execution.
#programming-language#runtime-monitoring#bug-removal
Stars3.0k
Forks62
Last commit3 years ago
DroidboxPython
Dynamic analysis tool for Android applications that monitors runtime behavior, detects information leaks, and visualizes app activity.
#android-app-analysis#runtime-monitoring#android-security
Stars797
Forks226
Last commit2 years ago
ogmaHaskell
A command-line tool for generating runtime monitors for flight and robotics applications from formal specifications.
#robotics#runtime-monitoring#embedded-systems
Stars559
Forks50
Last commit4 days ago
RightTyperPython
A Python tool that automatically generates type annotations by monitoring runtime execution, with low overhead and tensor shape inference.
#runtime-monitoring#developer-tools#typing
Stars358
Forks7
Last commit3 days ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.