Search
Databases · By ArabelaTso
2 skills found.
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Automatically generate TLA+ specifications from source code (C/C++, Python) for formal verification of distributed systems. | ArabelaTso/ | 253 | — | ~2.3k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 2 | Analyzes and optimizes code for better performance, memory usage, and efficiency. | ArabelaTso/ | 253 | — | ~3.1k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
