carmi
MITCARMI - Compiler for Automatic Reactive Modelling of Inference
72
Security score
0 known advisories in v1.0.342
OpenSSF Scorecard 4.0/10
Weekly downloads
—
Unpacked size
815.1 kB
Dependencies
30
Last publish
3 years ago
Security advisories
No known vulnerabilities affect v1.0.342.
OpenSSF ScorecardJul 20, 2026
- Dangerous-Workflow10
- Maintained0
- Token-Permissions0
- Code-Review8
- Binary-Artifacts10
- CII-Best-Practices0
- Pinned-Dependencies0
- Security-Policy0
- Fuzzing0
- License10
- SAST0