ocupación
Administradores de redes y sistemas informáticos
descripción
Manage Lean toolchain and Mathlib versions with backup, upgrade, and rollback support
Idioma del texto original: inglés
actualizado
Skills en este repositorio
benbrastmckie/nvim - Página 5
SkillsMP ha recopilado 167 skills de benbrastmckie/nvim. Abre una skill para revisar su origen y sus detalles.
benbrastmckie/nvimMostrando 7 de 167 skills recopiladas.
skill
ocupación
descripción
actualizado
ocupación
Desarrolladores de software
descripción
Implement Python code. Invoke for Python-language implementation tasks.
Idioma del texto original: inglés
actualizado
ocupación
Desarrolladores de software
descripción
Research Python development tasks. Invoke for Python-language research.
Idioma del texto original: inglés
actualizado
ocupación
Desarrolladores de software
descripción
Implement Typst documents. Invoke for Typst-language implementation tasks.
Idioma del texto original: inglés
actualizado
ocupación
Desarrolladores de software
descripción
Research Typst documentation tasks. Invoke for Typst-language research.
Idioma del texto original: inglés
actualizado
ocupación
Desarrolladores de software
descripción
Implement Z3 constraints. Invoke for Z3-language implementation tasks.
Idioma del texto original: inglés
actualizado
ocupación
Desarrolladores de software
descripción
Research Z3/SMT tasks. Invoke for Z3-language research.
Idioma del texto original: inglés
actualizado
Mostrando 7 de 167 skills recopiladas.