Johl

chbwa's activity

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

New activity in introspector/zkperf about 1 month ago

Add agda zkperf bundle for Prelude.agda

#19 opened about 1 month ago by

chbwa

Add agda zkperf bundle for SaturatedInvariantRefinementStatus.agda

#18 opened about 1 month ago by

chbwa

Add agda zkperf bundle for Monoid.agda

#17 opened about 1 month ago by

chbwa

Add agda zkperf bundle for Layer2FiniteSearchShell.agda

#16 opened about 1 month ago by

chbwa

Upload folder using huggingface_hub

#15 opened about 1 month ago by

chbwa

Upload folder using huggingface_hub

#14 opened about 1 month ago by

chbwa

Upload folder using huggingface_hub

#13 opened about 1 month ago by

chbwa

Upload folder using huggingface_hub

#12 opened about 1 month ago by

chbwa

Update agda zkperf run index

#11 opened about 1 month ago by

chbwa

Add agda zkperf bundle for SourceHash.agda

#10 opened about 1 month ago by

chbwa

Add agda zkperf bundle for Prelude.agda

#9 opened about 1 month ago by

chbwa

Add agda zkperf bundle for Kernel

#8 opened about 1 month ago by

chbwa

Add agda zkperf bundle for Monoid.agda

#7 opened about 1 month ago by

chbwa

Add agda zkperf bundle for SpanOrder.agda

#6 opened about 1 month ago by

chbwa

Add agda zkperf bundle for examples

#5 opened about 1 month ago by

chbwa

Add agda zkperf bundle for SpanTarget.agda

#4 opened about 1 month ago by

chbwa

Add agda zkperf bundle for SpanTarget.agda

#3 opened about 1 month ago by

chbwa

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

#2 opened about 1 month ago by

chbwa

updated a dataset about 1 month ago

chbwa/itir-zos-ack-probe

Updated Mar 31 • 4

published a dataset about 1 month ago

chbwa/itir-zos-ack-probe

Updated Mar 31 • 4