Search
Writing & Content · C++ · ArabelaTso/Skills-4-SE
3 skills found.
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Translate C or C++ programs into equivalent Lean4 code, preserving program semantics and ensuring the generated code is well-typed, executable, and can run successfully. | ArabelaTso/ | 253 | — | ~2.5k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 2 | Convert code between programming languages while preserving functionality and semantics. | ArabelaTso/ | 253 | — | ~3.1k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 3 | Translate C/C++ programs to equivalent Dafny code while preserving semantics and ensuring verification. | ArabelaTso/ | 253 | — | ~2.9k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
