Search
Development · C++ · By ArabelaTso
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Instrument programs (Python, C/C++, Java) to capture snapshots of key program states at runtime, including variables, memory, and call stacks. | ArabelaTso/ | 253 | — | ~2.2k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 2 | Profile programs at the function/method level to identify performance hotspots, bottlenecks, and optimization opportunities. | ArabelaTso/ | 253 | — | ~1.7k | Automated safety check: Notes | Apache-2.0 | 1 mo ago |
| 3 | Verify code correctness statically against specifications using type checking, contract verification, and formal methods. | ArabelaTso/ | 253 | — | ~2.9k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 4 | Automatically repair buggy code and generate comprehensive tests for Python, Java, and C++ programs. | ArabelaTso/ | 253 | — | ~1.3k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 5 | Selectively instruments code to capture runtime data for debugging failures and bugs. | ArabelaTso/ | 253 | — | ~2.1k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 6 | Instruments programs to record execution information for deterministic replay debugging. | ArabelaTso/ | 253 | — | ~2.5k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 7 | Automatically instruments source code to collect runtime information such as function calls, branch decisions, variable values, and execution traces while preserving original program semantics. | ArabelaTso/ | 253 | — | ~2.3k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
