Execute qualquer Skill no Manus
com um clique

Execute qualquer Skill no Manus com um clique

typednotes

Perfil de criador do GitHub

typednotes

Visão por repositório de 1 skills coletadas em 1 repositórios do GitHub.

github/typednotes maior repositório: hale

skills coletadas

1

repositórios

1

atualizado

2026-04-11

mapa de repositórios

Onde as skills estão

Principais repositórios por número de skills coletadas, com sua participação neste catálogo do criador e sua distribuição ocupacional.

1 skills · 2026-04-11

Desenvolvedores de software

1 categorias ocupacionais · 100% classificado

100%participação

explorador de repositórios

Repositórios e skills representativas

criador/repositório/skill

1 skills90atualizado 2026-04-11

100% do criador

skill

ocupação

descrição

atualizado

haskell-mapping

Desenvolvedores de software

Look up the Haskell-to-Lean module mapping for the hale project. Use when porting a Haskell module, looking up which Lean module corresponds to a Haskell module, adding a new module to the mapping, or understanding the folder organization policy.

Mostrando 1 de 1 repositórios

Todos os repositórios foram exibidos

Execute qualquer Skill com um clique