gipsyh/rIC3
Hardware Formal Verification Tool
Rust
Stars
117
Forks
29
License
GPL-3.0
Open Issues
5
Updated
8m ago
No README available
Related Projects
onceupon/Bash-Oneliner
A collection of handy Bash One-Liners and terminal tricks for data processing and Linux system maintenance.
10.8k
jaredthecoder/awesome-vehicle-security
🚗 A curated list of resources for learning about vehicle security and car hacking.
4.6k
le0pard/pgtune
Pgtune - tuning PostgreSQL config by your hardware
2.7k
JavaScript
ligurio/sqa-wiki
My own notes (drafts mostly) about software quality
2.3k
0BAB1/HOLY_CORE_COURSE
Learn how to build our own RV32I(M) core, verify it and actually use it FOR FREE (.md tutorials). From scratch & with more than 200 pages of detailed tutorial with schemes & explanation.
501
Python
FirstEverTech/Universal-Intel-Chipset-Updater
Security-focused tool for automatic Intel chipset INF detection and installation. SHA-256 verified, Intel Authenticode validated, System Restore Point protected. Reviewed across 3 audit cycles by 6 AI systems.
224
PowerShell
Statistics
- Stars
- 117
- Forks
- 29
- Open Issues
- 5
- Created
- Feb 06, 2023
- Updated
- Sep 20, 2026