DecompHub

touhou-formal

Estado del proyecto: Desconocido

Formal Lean and SMT models for Touhou ECL/ANM script VMs

Software o hardware objeto del proyecto
Touhou ECL/ANM script VMs
Tipo de trabajo
Ingeniería inversa y documentación
Repositorio público principal
github.com/n0zom1z0/touhou-formal
GitHub
1Estrellas en GitHub

Los proyectos se ordenan por el último número de estrellas registrado. Las estrellas indican interés, no progreso. Los recuentos no disponibles se muestran como desconocidos.

Descripción y alcance

Formal Lean and SMT models for Touhou ECL/ANM script VMs

Admisión de colaboraciones

Política de colaboración desconocida

Política de contribuciones asistidas por IA
Sin especificar

Sistemas documentados para colaborar

Entorno de colaboración sin documentar

Progreso comunicado

No se ha comunicado el progreso

Código fuente, compilaciones y versiones