Search
C++ · By brycewang-stanford
2 skills found.
Category:
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | A skill your agent uses when positioning a POPL paper in the semantics, type-systems, and verification literature — stating per-line technical deltas against the nearest formal systems, covering the… | brycewang-stanford/ | 1.2k | — | ~936 | Automated safety check: Pass | MIT | 14 days ago |
| 2 | A skill your agent uses when deciding whether a project is POPL-shaped — a principle about programming languages carried by definitions and theorems — or better aimed at PLDI's implementation bar… | brycewang-stanford/ | 1.2k | — | ~969 | Automated safety check: Pass | MIT | 14 days ago |
