Games & Play3 weeks 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
27 projects
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
Decrypt Claude Sonnet 5's hidden reasoning using encrypted thinking signatures.
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning
Cast I Ching hexagrams and view Zi Wei Dou Shu natal charts for decision guidance.
u/muyenlee · Reddit
I built iYarrow — I Ching casting + Zi Wei Dou Shu natal charts, on an open-source divination engine Two divination tools in one app: I Ching — cast a hexagram for the actual decision in front of you. Free, no account needed. Zi Wei Dou Shu (紫微斗數) — a natal chart that gives the longer-range picture your hexagram sits inside. Free full chart, all 12 palaces computed instantly, tap any palace to read it. One $5.99 unlock covers an in-depth reading + the annual (流年) report. Stack: Next.js
Markdown notebook that automatically saves every version so you can return to any past edit.
@khagankarimi · X
simple markdown notebook with version history
A browser-based dev machine with shell, git, and local AI that collects no data.
Dhravya · GitHub
burrow a whole dev machine in a browser tab - bun.wasm, shell, git, and local AI. phones home to nobody.
Connect any two topics by finding paths through real Wikidata relationships.
u/hyperschlauer · Reddit
I built a free knowledge-graph game where every move follows a real Wikidata relationship I’m building Webwoven for OpenAI Build Week, and the beta is now live: https://www.webwoven.org It’s inspired by Wikipedia hopping: you start with one topic and try to reach a target in as few moves as possible. Every move follows a real relationship from a reviewed Wikidata graph. The game therefore shows why two topics are connected instead of treating ordinary page links as paths. Webwoven curr
Local-first cognitive runtime with live AST graphs, runs in your browser with no data sharing.
@fortsignal1 · X
AI-powered Bazi natal chart reader using rule-based calculations and LLM-generated natural language interpretation.
@GoWithFlow2026 · X
上线了一个 AI 八字排盘 🔮 🔗 和"直接把生日扔给 ChatGPT"完全不同: 1️⃣ 事实不靠猜:排盘、干支关系、刑冲合会等,全部由确定性规则引擎计算——LLM 只负责把判定结果写成人话，编不了盘。 2️⃣ 指令手写:分析指令是我根据《子平真诠》并结合自身经历逐条手写的命理逻辑。 🎁 免费演示,无需注册,点开即看完整报告: 觉得准,再测自己的($1.99 起)。欢迎反馈!
Convert AI-generated text into natural, human-like writing instantly.
fendouai · GitHub
humanize-text-skill Free AI Humanizer: Humanize AI Text Online
Browser-based suite of 118 privacy-focused tools for images, PDFs, SEO, and media.
@ayan11200 · X
try this one Free solution
Restaurant reservation tool that charges guests who don't show, reducing no-shows by up to 80%.
@ReserveT37916 · X
Instantly share files and text across devices (Mac, PC, iOS, Android, Smart TVs) via your browser, no signup needed.
@WackyCrocoGator · X
This one doesn’t require any signup or payment. Just load and multiple device by opening the site on them and connect them for an easy way to drop text and file to each other.