☆25Jul 29, 2026Updated 2 months ago
Alternatives and similar repositories for anthropic-showdown
Users that are interested in anthropic-showdown are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Jul 8, 2024Updated 2 years ago
- Browser-native tactical FPS on three.js r180. One map, one match, no assets: every texture, sound and cloud is generated at runtime. Hand…☆46Aug 9, 2026Updated 2 months ago
- ☆31Sep 28, 2026Updated 3 weeks ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 5 years ago
- ☆37Sep 8, 2026Updated last month
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.☆37Updated this week
- ☆31Sep 9, 2026Updated last month
- Scans Kalshi and Polymarket for arbitrage opportunities, runs the strategy as paper trading on live prices, and backtests it. Built with …☆43Updated this week
- Concise skills for ASD-STE100-inspired writing, Excalidraw diagrams, interactive HTML, and narrated explainer videos☆31Oct 2, 2026Updated 2 weeks ago
- ASCI Summer Research Lean☆11Updated this week
- ☆15Mar 25, 2026Updated 6 months ago
- AI for Mathematics Paper List☆18Jan 14, 2025Updated last year
- ☆14Jul 30, 2022Updated 4 years ago
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆15Jul 2, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The Lean Theorem Proving Environment☆15May 7, 2023Updated 3 years ago
- Local-first, capability-aware, traceable audio and video transcription Skill for Codex☆23Aug 1, 2026Updated 2 months ago
- CMS 120 - Introduction to Computer Science☆27Updated this week
- Fully local: chat, a coding agent, and a design studio in one private desktop app.☆32Oct 3, 2026Updated 2 weeks ago
- 一只可以捏一捏、拖着玩、收集今日快乐的软乎乎 MOMO☆61Sep 16, 2026Updated last month
- 桃花源记 3D 网页☆30Sep 24, 2026Updated 3 weeks ago
- Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theo…☆20Jul 10, 2026Updated 3 months ago
- ☆37Oct 9, 2026Updated last week
- ☆93Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆17Dec 3, 2023Updated 2 years ago
- Examples using MetaProgramming for writing tactics etc.☆19Nov 26, 2025Updated 10 months ago
- A general geometry library in LEAN 4.☆81Oct 10, 2026Updated last week
- Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"☆20May 25, 2023Updated 3 years ago
- ☆25Aug 2, 2022Updated 4 years ago
- Fixed version of tg-cli with support of channels and groups.☆13Jul 7, 2017Updated 9 years ago
- Leaff is a diff tool for Lean environments☆25Jan 18, 2025Updated last year
- Curated Gemini Omni prompts, API guide, and video examples — video generation, editing, camera control, style transfer, text rendering, a…☆28Jun 24, 2026Updated 3 months ago
- A platform for formalizing OEIS sequences in Lean 4☆21Jun 10, 2026Updated 4 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 受控中文技术写作技能：ASD-STE100 的中文对应物，含 stdlib-only 确定性 linter。Controlled Chinese technical writing skill for agents.☆58Oct 3, 2026Updated 2 weeks ago
- Turn any reference imagery into storyboard stills + image-generator prompts. Part of the Blockout previs suite. Apache-2.0.☆35Jul 20, 2026Updated 3 months ago
- An electron app for electroknit☆14Jan 24, 2016Updated 10 years ago
- A formalization of the resolution of the Hopf problem: the six-sphere admits a complex manifold structure compatible with its standard to…☆86Aug 30, 2026Updated last month
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆26May 28, 2026Updated 4 months ago
- ☆23Dec 3, 2025Updated 10 months ago
- Interfacing with Large Language Models (remote and local) from Lean.☆29Jul 15, 2024Updated 2 years ago