
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
22 projects

Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256

Visualize and deploy AI-generated backend code as a verifiable logic layer you can understand and own.
@SpalaAi · X

Daily logic puzzle game inspired by Shikaku and LinkedIn Patches.
patches game — 每日逻辑谜题游戏

Analyze chess games with natural language explanations using an open-source browser tool with no login required.
u/ICARUS_2X · Reddit
Spent 7 months building a FOSS platform for natural-language chess analytics (No LLM) Hey guys, I've released CHONSE2, an open-source game review platform that offers unlimited analysis and move explanations without using hallucination-prone LLMs, running entirely in your browser. chonse2.com But Lichess is free, so why use this? Some have asked. It expands on Lichess's feature set a few different ways: Full analysis (accuracy/elo estimations/eval graphs, etc) requir

Ask a yes/no question and get an AI-powered tarot card reading for instant guidance.
Yes/No 塔罗 AI — 融合 AI 技术与塔罗洞见,快速获得"是"与"否"解答

Backtest crypto trading strategies by describing them in plain English.
@torquant · X
building Torquant. you build and backtest trading/investment strategies using only natural languange

Inject engineered cognitive abilities into AI agents at inference time.
@frank_brsrk · X
reasoning tools for ai agents

Create functional apps by describing them in plain language, no coding required.

Run LLM inference on consumer GPUs with NVIDIA TensorRT-LLM optimization.
brianhabana123 · HN
TensorRT-LLM running natively on Windows (no WSL)

Access 97 free financial calculators for mortgages, retirement, taxes, and debt.
@finexplainedhq · X

Pre-commit hook that catches verbose, defensive LLM-generated code before merge.
@iampeersky · X
is blazingly fast LLM generated code slop detector & clean up cli tool that installs as git pre-commit hook to save your git history from sloppppp

Share files, collect documents, and discuss them with clients—no signup required.
@droplana_com · X