lowRISC/synfi
Auf GitHub ansehenOpenTitan FI formal verification framework
- Sterne
- 18
- Forks
- 8
- Offene Anfänger-Issues
- 0
- Indexierte Issues
- 1
- Vorherrschende Sprache
- Python
- Lizenz
- Apache-2.0
- Letzter GitHub-Push
- 29.8.2023
- Zuletzt indexiert
- 19.9.2026
- Beitragsleitfaden
- Beitragsleitfaden
- Verhaltenskodex
- Kein Verhaltenskodex
- Anfänger-Labels
- Keine Anfänger-Labels indexiert
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Bisher 1 offenes Issue indexiert
Issues werden geladen
-
Gate type not found Offen
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100