Johl

chbwa's activity

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

New activity in introspector/zkperf 3 months ago

Add agda zkperf bundle for Prelude.agda

#19 opened 3 months ago by

chbwa

Add agda zkperf bundle for SaturatedInvariantRefinementStatus.agda

#18 opened 3 months ago by

chbwa

Add agda zkperf bundle for Monoid.agda

#17 opened 3 months ago by

chbwa

Add agda zkperf bundle for Layer2FiniteSearchShell.agda

#16 opened 3 months ago by

chbwa

Upload folder using huggingface_hub

#15 opened 3 months ago by

chbwa

Upload folder using huggingface_hub

#14 opened 3 months ago by

chbwa

Upload folder using huggingface_hub

#13 opened 3 months ago by

chbwa

Upload folder using huggingface_hub

#12 opened 3 months ago by

chbwa

Update agda zkperf run index

#11 opened 3 months ago by

chbwa

Add agda zkperf bundle for SourceHash.agda

#10 opened 3 months ago by

chbwa

Add agda zkperf bundle for Prelude.agda

#9 opened 3 months ago by

chbwa

Add agda zkperf bundle for Kernel

#8 opened 3 months ago by

chbwa

Add agda zkperf bundle for Monoid.agda

#7 opened 3 months ago by

chbwa

Add agda zkperf bundle for SpanOrder.agda

#6 opened 3 months ago by

chbwa

Add agda zkperf bundle for examples

#5 opened 3 months ago by

chbwa

Add agda zkperf bundle for SpanTarget.agda

#4 opened 3 months ago by

chbwa

Add agda zkperf bundle for SpanTarget.agda

#3 opened 3 months ago by

chbwa

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

#2 opened 3 months ago by

chbwa

updated a dataset 3 months ago

chbwa/itir-zos-ack-probe

Updated Mar 31 • 37

published a dataset 3 months ago

chbwa/itir-zos-ack-probe

Updated Mar 31 • 37