Charlie-Wang-03/ai4math-radar
A curated, evidence-aware radar for AI for Mathematics research. AI4Math 研究进展的精选、证据分层与持续追踪。
AI Coding Tools Used
This repository contains config files from these AI coding tools, indicating AI-assisted development.
GitHub Topics
Language breakdown (by bytes)
Why this is classified AI-related
The AI relevance score checks four places for AI keywords and adds the weight of each one that matches. Full methodology
Total AI relevance score: 100 / 100
Position among AI repos in the same language
We track 8,477 TypeScript repos, of which 6,811 score 40 or above on AI relevance. 527 have more stars than this one (top 6.2%), and 0 score higher (top 0.0%).
Owner
Applied Mathematics M.S. @ Fudan · Scientific ML · AI4Science / AI4Math · AI agents · open source
Dates
| Created on GitHub | 2026-09-30 |
| Last push | 2026-10-25 |
| First seen here | 2026-09-30 |
| Last fetched | 2026-10-25 16:16 |
Similar repos (same language)
The 1st Collaborative AI Design Agent Workspace. Local-first and open source. Create motion, prototypes, websites, apps, dashboards, presentations, images, and videos with your team and AI agents. Share work, exchange feedback, and iterate together in one workspace.
open-slide/open-slideA slide framework built for agents.
CopilotKit/OpenBotOpen-source AI coworkers that each get a computer of their own: a browser, files and tools, with every action decided before it happens and recorded after. Bring any AG-UI agent.
dzhng/jevgrepFind code by asking what it does. A CLI for coding agents that uses Jev to discover relevant files and source context.
Eynzof/Hermes-CN-DesktopHermes Agent CN desktop app, Windows-First, built with Tauri, Typescript and Rust. Isolated Hermes Agent core insides.
fancydirty/mediary-scoutAgent-driven media library for your cloud drives (Quark 夸克 / 115 / 光鸭 GuangYa / 123网盘 / 天翼 Tianyi)
perminder-klair/subwavePersonal internet radio: Agentic AI DJ
shadcn-ui/chatbot-templateA minimal chatbot template built with Next.js, AI SDK, shadcn/ui, shadcn/react, shadcn/typeset. It runs on the Vercel AI Gateway.