[Public preview] An advanced AI Benchmark for math, produced by mathmo at St John's College, Cambridge.
☆101Sep 24, 2026Updated 3 weeks ago
Alternatives and similar repositories for MathmoBench
Users that are interested in MathmoBench are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Flight recorder for Claude Code, Codex & OpenCode☆93Sep 4, 2026Updated last month
- Self-hosted video bed — streaming uploads, Range/206 playback, shareable player pages. Vue 3 + zero-dep Node, one Docker container.☆100Sep 23, 2026Updated 3 weeks ago
- 【TODO】An simplified implementation of the classic Plants-VS-Zombies game, developed in Java language, featuring some different background…☆132Oct 4, 2026Updated last week
- ☆291Jul 23, 2026Updated 2 months ago
- Codex skill that turns one image or text concept into a WeChat-ready Chinese sticker pack people will actually send. Sendability-gated, 4…☆105Sep 4, 2026Updated last month
- 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.
- Cross-platform DICOM viewer for CT, MRI & PET/CT with MPR, 3D, fusion, editable segmentation and local AI auto-segmentation via TotalSegm…☆300Updated this week
- Live M1 candles rendered inside M5 bars for ATAS Classic.☆100Aug 13, 2026Updated 2 months ago
- Local-first observability CLI for Codex and Claude Code☆148Updated this week
- ☆97Sep 9, 2026Updated last month
- performance experiments☆113Sep 14, 2026Updated last month
- This system can help bridge the gap between Codex and Claude Code, making it simple to refine a plan until it is complete, or to conduct …☆484Aug 11, 2026Updated 2 months ago
- Awesome Chinese folk game collection — Chinese folk-horror detective game. 9 playable cases, zero dependencies.☆100Sep 25, 2026Updated 3 weeks ago
- An open-source, efficient System I decision model for autonomous driving.☆91Oct 3, 2026Updated 2 weeks ago
- [Public preview] Hard human-written reasoning puzzles: 749 answered items in 15 topics (707 scored core), with protocol and scorer.☆100Sep 24, 2026Updated 3 weeks ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆101Sep 22, 2026Updated 3 weeks ago
- ☆674Oct 8, 2026Updated last week
- ☆74Jun 17, 2026Updated 4 months ago
- ☆104Sep 21, 2026Updated 3 weeks ago
- Self-hosted employee onboarding, policy learning, and assessment platform.☆198Oct 9, 2026Updated last week
- Self-hosted two-way Notion and CalDAV sync on Cloudflare Workers + D1 or Node.js + PostgreSQL☆275Oct 8, 2026Updated last week
- ☆191Mar 24, 2026Updated 6 months ago
- Local-first AI agent workspace for multi-agent collaboration, agent orchestration, scoped permissions, evidence-aware runs, and human-in-…☆1,006Updated this week
- 给 Codex 全局记忆定期减负的 skill：检测重复、清理过期线程、压缩冗长表达、添加自定义全局规则 / A skill that puts Codex global memory on a periodic diet: dedupe, prune, compress,…☆101Aug 25, 2026Updated last month
- 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.
- ☆104Sep 20, 2026Updated 3 weeks ago
- Safety-first GUI and CLI for auditing, backing up, importing, cleaning, and trimming Codex conversations without editing internal storage…☆96Sep 2, 2026Updated last month
- Ten Engines. One local-first Harness OS.☆217Sep 22, 2026Updated 3 weeks ago
- Official repository of FoR-T2I, a benchmark evaluating T2I models from a different perspective.☆115Aug 5, 2026Updated 2 months ago
- **隙见**是一款基于真实评论证据的 AI 内容机会发现与选题决策工具。 它不是简单做词云、情感分析或标题生成，而是帮助内容运营从评论区中识别真实需求、争议、疑问和场景缺口，并生成有证据、有评分、有内容结构的选题 Brief。 核心表达： > 从评论里，看见下一个值得…☆100Aug 21, 2026Updated last month
- DeepSeek Harness 软件公 司模式 preset：模拟真实软件公司分部门开发（需求冻结为 Sprint 合同、编码/验收独立、失败硬路由），用户作为公司总监在可视化大画布实时管理进度、子代理调用与 Token，用组织结构对抗长期上下文噪点导致的开发目标跑偏。☆122Aug 18, 2026Updated last month
- 🧠 NeuroConscious Transformer (NCT) - A next-generation neuromorphic consciousness architecture integrating Transformer with Global Works…☆468Aug 1, 2026Updated 2 months ago
- ☆97Aug 14, 2026Updated 2 months ago
- ☆791Oct 8, 2026Updated last week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Explain tech and coding problems in clear, plan language☆99Sep 1, 2026Updated last month
- 般若波罗蜜。回到每一个争吵和沉默的节点，看看另一个版本的结局。☆875Sep 17, 2026Updated last month
- LLM-first, 3D-native robotics and simulation workspace.☆396Updated this week
- A-Share Stock Analysis AI agents for automated trading decisions.☆199Aug 29, 2026Updated last month
- Open-source, bring-your-own-key (BYOK) multi-model AI chat client for iOS, Android and the web. One LLM client for OpenAI, Anthropic, Goo…☆586Updated this week
- 企业私有 AI 知识工作台：中文搜索、飞书接入、Agent 与演示文稿☆103Updated this week
- CraftStation Agent Runtime Composition System☆680Updated this week