kevintngo/statechart-art
¿Es de fiar?
Conviene mirarlo con calma antes de usarlo.
Avisos Revisa
Muy nuevo: se creó hace 4 días. Espera un poco antes de instalarlo.
Estrellas de cuentas reales Sin datos
Todavía no hemos comprobado si sus estrellas son falsas.
Activo Bien
Último cambio hace 2 días.
Licencia Bien
MIT: puedes usarlo gratis, también en un producto comercial. Conserva el aviso de licencia.
Comprobaciones rápidas con datos públicos. Ayudan, pero no son una garantía.
Qué es
Cuatro diagramas de estados dibujados a mano sobre la operación de una tienda de bubble tea, cada uno modelado en TLA+ y verificado con TLC, luego distribuidos con pele y dibujados en bolígrafo y lápiz de color mediante código JavaScript. Cubren el flujo de un pedido, un día en…
Para quién es
Desarrolladores y lectores interesados en la verificación de modelos con TLA+ y en la visualización generativa de diagramas de estados
Cómo usarlo
Instalación
cd tools && npm installSacado de su README. Compruébalo allí antes de ejecutarlo.
Pide a tu IA que lo instale
Pega esto en Claude, ChatGPT o tu asistente de programación.
Ayúdame a instalar y configurar kevintngo/statechart-art en mi proyecto. Sigue su README: https://github.com/kevintngo/statechart-art. Explícame cada paso y comprueba que es seguro antes de ejecutar nada.
Curva de estrellas
Alternativas
Proyectos parecidos que cita su ficha. Cada enlace busca en el directorio.
Recibe alertas de repos como este
Te escribimos cuando repos como este empiecen a subir. Gratis, una vez por semana, solo lo que encaja.
Qué te llega: un email los lunes con los repos que encajan, nunca más. Mira el de la semana pasada. Privacidad
Para quien mantiene el repo
Pon esta insignia en tu README. Muestra el puesto del repo en el radar, se actualiza cada hora y enlaza a esta página.
[](https://repoalerts.com/repo/kevintngo/statechart-art?ref=badge)Repos parecidos
- kevintngo/looseleaf
Biblioteca de componentes para React, Tailwind v4 y Radix, y registro de shadcn, que aplica un estilo dibujado a mano sobre componentes de shadcn/ui. Mantiene las partes, props y nombres data-slot de
- gabe-santana/arkdraw
Editor de diagramas en TypeScript para diagramas de flujo, UML, diagramas ER, mapas de red, wireframes y mapas mentales. Incluye un asistente de IA que dibuja y edita diagramas nativos a partir de ins
- t3dotgg/tstack
Una colección de skills para agentes en Claude Code y Codex que cubren flujos de trabajo con pull requests: abrir y vigilar PRs, retomar PRs antiguos, revisiones en bucle con varios modelos y formato
- codepawl/viz3d
Una skill para agentes de programación con IA que convierte lugares, sistemas y acontecimientos difíciles de imaginar en mundos 3D, paneles en vivo, documentales, aplicaciones didácticas y libros ilus
- bugkeep/ai-draw
Aplicación web autoalojada para crear y editar dibujos al estilo de Excalidraw mediante una interfaz de chat. Genera bocetos, ilustraciones y diagramas de flujo a partir de texto, y permite refinar ob
- aidenybai/tla-ts
Un intérprete y comprobador de modelos para especificaciones TLA+ escrito en TypeScript, pensado como sustituto directo de TLC que funciona en navegadores, Node y Bun sin necesidad de la JVM. Incluye