tacas-skills

brycewang-stanford/Awesome-Journal-Skills

Twelve TACAS-specific skills for the ETAPS Tools and Algorithms for the Construction and Analysis of Systems conference, covering its four paper categories, per-category anonymity, mandatory artifact evaluation for tool papers, ETAPS Artifact Badges, LNCS gold-open-access proceedings, and SV-COMP, grounded in the TACAS 2026/2027 and ETAPS joint calls, Springer LNCS, and dblp.

version

1.1.0

GitHub stars

1.3K

Sponsors

SnugThe clipboard manager you and your agent can use, safelyAgent CaffeineClose your lid, come back to finished workWaxBlock anything with supervision, without erasing your iPhoneOpen StepsSponsoredFree and open-source skills that make AI coding agents easier to understand, verify, and control.