Games & Play1 week 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
32 projects
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
Share files, collect documents, and discuss them with clients—no signup required.
@droplana_com · X
Submit your website to join a verified business directory and increase visibility.
@a1coder · X
Claim your spot, where it matters Submit your website for free
Search privately with customizable ranking, domain blocking, and an independent web index.
u/Nox21125 · Reddit
I made Slick, the World's Most Customizable Search Engine For the past year, I've been building Slick , an independent search engine focused on privacy, speed, and giving users much more control over how search works. One thing that has always bothered me about modern search engines is that they expect everyone to search the same way. Whether it's AI overviews, ranking decisions, or the layout of the results page, you're usually stuck with whatever the search engine decides is best. I wa
Find statistical edges in Kalshi weather prediction markets with data-backed analysis.
@WingGirlTrader · X
Because the edge is in trading weather markets. And the is a free tool that provides real edge almost daily in temperature bets. And it's FREE
Verify email addresses and check domain health to improve campaign deliverability.
@mailthentic · X
AI-powered CRM for lead discovery, email verification, and cold outreach.
@ensaktas · X
Trade and manage digital assets across 30+ blockchain networks
@abhijeethganji1 · X
Translate locale files with context and tone awareness for games and software.
@polycontext · X
Context-aware localization for apps, games, and software.
Mobile workspace for editing and previewing HTML/CSS/JS apps with AI integration.
u/heisenberg2995 · Reddit
I built a mobile workspace to edit and preview the HTML apps ChatGPT/Claude write for you. Hey everyone! I built VanillaPad , a mobile workspace for building simple HTML/CSS/JS projects. 👉 https://vanillapad.dev The idea came from something I kept running into. Sometimes I'd need a simple utility app or a quick landing page or to test a little game idea. Getting the initial code written was easy since I could just ask ChatGPT or Claude on my phone. The hard part came af
Bulk URL shortener with custom aliases, expiry dates, click limits, and real-time analytics.
@Kamaralamkhan_ · X
Just launched 🚀 It’s a lightning-fast, privacy-first bulk URL shortener that lets you customize, track, and manage hundreds of links instantly. Completely free. Built with Laravel 12. Check it out and let me know what you think! #buildinpublic #SEO
Drag an HTML file or folder to instantly host it on a custom domain with global edge delivery.
@dorongrinstein · X
drag and drop any .html and go live with a custom domain in 20 seconds