Spaces:

nickh007
/

protocol-bench-demo

Running

App Files Files Community

protocol-bench-demo

251 kB

Ctrl+K

Ctrl+K

1 contributor

History: 12 commits

nickh007's picture

Repair reviewed browser demo behavior and evidence scope

2f8b662 verified 19 days ago

.gitattributes

1.52 kB
initial commit 3 months ago
LICENSE

1.08 kB
Gradio Lite demo: run a model checker in the browser (client-side, Pyodide) 3 months ago
README.md

5.18 kB
Repair reviewed browser demo behavior and evidence scope 19 days ago
app_core.py

14.2 kB
Repair reviewed browser demo behavior and evidence scope 19 days ago
app_lite.py

15 kB
Repair reviewed browser demo behavior and evidence scope 19 days ago
index.html

31.6 kB
Repair reviewed browser demo behavior and evidence scope 19 days ago
md.py

5.34 kB
replace the gradio-lite shell: pinned Pyodide, vendored closure 2 months ago
minicheck-0.4.0-py3-none-any.whl

54.9 kB
Ship the current checker: minicheck 0.3.0 -> 0.4.0 3 months ago
minicheck-0.4.1-py3-none-any.whl

56.4 kB
replace the gradio-lite shell: pinned Pyodide, vendored closure 2 months ago
protocol_bench-1.1.0-py3-none-any.whl

29.9 kB
Ship the current checker: minicheck 0.3.0 -> 0.4.0 3 months ago
protocol_bench-1.1.1-py3-none-any.whl

31.6 kB
replace the gradio-lite shell: pinned Pyodide, vendored closure 2 months ago
style.css

4.11 kB
Repair reviewed browser demo behavior and evidence scope 19 days ago