DecompHub

touhou-formal

Stato del progetto: Sconosciuto

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

Software o hardware oggetto del progetto
Touhou ECL/ANM script VMs
Tipo di lavoro
Reverse engineering e documentazione
Repository pubblico principale
github.com/n0zom1z0/touhou-formal
GitHub
1Stelle su GitHub

I progetti sono ordinati per l’ultimo numero di stelle rilevato nel repository. Le stelle indicano interesse, non avanzamento. I valori mancanti restano sconosciuti.

Descrizione e ambito

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

Disponibilità ad accettare contributi

Regole sui contributi sconosciute

Regole sui contributi assistiti dall'IA
Non specificato

Sistemi documentati per contribuire

Ambiente di contribuzione non documentato

Avanzamento dichiarato

Avanzamento non dichiarato

Fonti, compilazione e release