Johl

chbwa's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

New activity in introspector/zkperf 19 days ago

Add agda zkperf bundle for Prelude.agda

#19 opened 19 days ago by

chbwa

Add agda zkperf bundle for SaturatedInvariantRefinementStatus.agda

#18 opened 19 days ago by

chbwa

Add agda zkperf bundle for Monoid.agda

#17 opened 19 days ago by

chbwa

Add agda zkperf bundle for Layer2FiniteSearchShell.agda

#16 opened 19 days ago by

chbwa

Upload folder using huggingface_hub

#15 opened 19 days ago by

chbwa

Upload folder using huggingface_hub

#14 opened 19 days ago by

chbwa

Upload folder using huggingface_hub

#13 opened 19 days ago by

chbwa

Upload folder using huggingface_hub

#12 opened 19 days ago by

chbwa

Update agda zkperf run index

#11 opened 19 days ago by

chbwa

Add agda zkperf bundle for SourceHash.agda

#10 opened 19 days ago by

chbwa

Add agda zkperf bundle for Prelude.agda

#9 opened 19 days ago by

chbwa

Add agda zkperf bundle for Kernel

#8 opened 19 days ago by

chbwa

Add agda zkperf bundle for Monoid.agda

#7 opened 19 days ago by

chbwa

Add agda zkperf bundle for SpanOrder.agda

#6 opened 19 days ago by

chbwa

Add agda zkperf bundle for examples

#5 opened 19 days ago by

chbwa

Add agda zkperf bundle for SpanTarget.agda

#4 opened 19 days ago by

chbwa

Add agda zkperf bundle for SpanTarget.agda

#3 opened 19 days ago by

chbwa

Add 2026-04-03 sample-trace utility run artifacts

#2 opened 19 days ago by

chbwa

updated a dataset 22 days ago

chbwa/itir-zos-ack-probe

Updated 22 days ago • 91

published a dataset 23 days ago

chbwa/itir-zos-ack-probe

Updated 22 days ago • 91