Games & Play1 month ago
zkGolf: golf zero-knowledge circuits, verified in Lean
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
The full gallery
Tech stack
17 projects
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
A calculator and data manager for LORT game statistics and analysis.
LORT Calculator — Stream 游戏 LORT 工具网站
Adjust neural network weights to fit data curves in this browser-based game.
Gooblebrai
Review production agent traces to identify and fix recurring failures.
@guru3s · X
IMF team for when your AI agent ( Ethan Hunt ) is about to fail v0 at
