touhou-formal

Projektstatus: Unbekannt

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

Untersuchte Software oder Hardware: Touhou ECL/ANM script VMs
Arbeitsansatz: Reverse Engineering und Dokumentation
Öffentliches Hauptrepository: github.com/n0zom1z0/touhou-formal

Projekte werden nach der zuletzt erfassten Anzahl an Repository-Sternen sortiert. Sterne zeigen Interesse, keinen Fortschritt. Fehlende Werte bleiben unbekannt.

Über das Projekt und seinen Umfang

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

Möglichkeiten zur Mitarbeit

Regeln zur Mitarbeit unbekannt

Regeln für KI-unterstützte Beiträge: Nicht angegeben

Dokumentierte Systeme für Mitwirkende

Arbeitsumgebung nicht dokumentiert

Gemeldeter Fortschritt

Kein Fortschritt gemeldet

Quellen, Builds und Veröffentlichungen

Repository öffnen · github.comgithub.com/n0zom1z0/touhou-formal