Search
Linux · lazyFrogLOL/Harness_Engineering
2 skills found.
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | This skill provides guidance for setting up Alpine Linux virtual machines in QEMU with SSH access via port forwarding. | lazyFrogLOL/ | 128 | — | ~1.4k | Automated safety check: Pass | No licence | 4 mo ago |
| 2 | Guidance for building CompCert, a formally verified C compiler. | lazyFrogLOL/ | 128 | — | ~1.2k | Automated safety check: Pass | No licence | 4 mo ago |
