Skip to main content
skillsmp

Menu

Execute qualquer Skill no Manus
com um clique
danwt
Perfil de criador do GitHub

danwt

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

github/danwtmaior repositório: specl
skills coletadas
1
repositórios
1
atualizado
2026-02-22
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.

#01
specl
1 skills · 2026-02-22
Cientistas de pesquisa em computação e informação
1 categorias ocupacionais · 100% classificado
100%participação
explorador de repositórios

Repositórios e skills representativas

#001
specl
1 skills230atualizado 2026-02-22
100% do criador
expert-specl
Cientistas de pesquisa em computação e informação

Expert for Specl, a modern specification language and model checker for concurrent and distributed systems. Covers the full Specl language, CLI toolchain, distributed protocols (Raft, Paxos, consensus, BFT), concurrent algorithms, and formal verification. Use when: writing/debugging .specl files, modeling distributed systems, verifying safety properties, analyzing invariant violations, optimizing state space exploration, or translating TLA+. Keywords: specl, model checking, formal verification, TLA+, distributed systems, consensus, Raft, Paxos, BFT, invariants, state space, specification language.

2026-02-22
Mostrando 1 de 1 repositórios
Todos os repositórios foram exibidos