FICHA · AUR

sketchsynth

Ferramenta de síntese de software para criar implementações a partir de esboços

  • program synthesis CLI
  • Linha de comando
  • Desenvolvimento
  • Abre direto
  • Roda no terminal
codex · reviewed · 4 de jun. de 2026 descrição em pt-br · fallback

Descrição

Implementações de programas podem ser sintetizadas a partir de esboços parciais com uma ferramenta de pesquisa baseada em Java. Este pacote é útil para desenvolvedores e pesquisadores que experimentam síntese de programas orientada por esboços. Código gerado deve ser revisado como qualquer outra saída automatizada antes de uso.

Como rodar

sketchsynth

Comandos: sketchsynth

Permissões

Permissões ainda não analisadas para esta fonte.