Search
Writing & Content · Python · By ArabelaTso
4 skills found.
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Translate source code between programming languages at function, class, and module levels while preserving behavior and generating verification tests. | ArabelaTso/ | 253 | — | ~1.9k | 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 Python programs into equivalent Dafny code, preserving program semantics and ensuring the generated code is well-typed, executable, and verifiable. | ArabelaTso/ | 253 | — | ~3.1k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 4 | Translate Python programs to equivalent Lean4 code while preserving semantics and ensuring type safety. | ArabelaTso/ | 253 | — | ~2.2k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
