Hugging Face's logo

Spaces:
introspector
/
zkprologml
Running

App Files Community
zkprologml / README.md
mike dupont
Dashboard without binary files
423f4c5
preview code
|
raw
history blame contribute delete
767 Bytes
metadata 
title: zkPrologML Dashboard
emoji: 🔮
colorFrom: green
colorTo: blue
sdk: static
pinned: false

zkPrologML Dashboard

Live auto-updating dashboard for zkProlog execution with Monster Group visualization.

Features

  • 🌐 Real-time updates (2s interval)
  • 🎨 Matrix rain cyberpunk aesthetic
  • 🔢 71 interactive Monster Group shards
  • 📊 Live statistics and terminal logs
  • 🧠 Tau-Prolog browser queries
  • 📈 METIS graph partitioning visualization

Tech Stack

  • Pure HTML/CSS/JavaScript (no build step)
  • Tau-Prolog (browser Prolog)
  • Canvas API (Matrix effect)
  • No backend required

Stats

  • Files Indexed: 8,017,192
  • Monster Shards: 71
  • Theorems Proven: 10
  • Entities Unified: 42
  • Prediction Accuracy: 99.6%