Skip to main content
skillsmp

Menu

Execute qualquer Skill no Manus
com um clique
Repositório GitHub

vera

vera contém 2 skills coletadas de aallan, com cobertura ocupacional por repositório e páginas de detalhe dentro do site.

Perfil de aallanVer no GitHub
skills coletadas
2
Stars
390
atualizado
2026-07-13
Forks
22
Cobertura ocupacional
Desenvolvedores de software
1 categorias ocupacionais · 100% classificado
explorador de repositórios

Skills neste repositório

vera-language
Desenvolvedores de software

Write programs in the Vera programming language. Use when asked to write, edit, debug, or review Vera code (.vera files). Vera is a statically typed, purely functional language with algebraic effects, mandatory contracts, and typed slot references (@T.n) instead of variable names.

2026-07-13
vera-language
Desenvolvedores de software

Write programs in the Vera programming language. Use when asked to write, edit, debug, or review Vera code (.vera files). Vera is a statically typed, purely functional language with algebraic effects, mandatory contracts, and typed slot references (@T.n) instead of variable names.

2026-07-13