TIGER-AI-Lab/TheoremExplainAgent

Official Repo for "TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding" [ACL 2025 oral]

llm-agentsmanimmanim-animationsmanim-videorag

License & maintenance

MIT is a permissive license: free to use commercially with attribution.

Last code push 14 months ago.

	Repository	Stars	Language	License	Activity
1	Shubhamsaboo/awesome-llm-apps100+ AI Agents, Agent Skills and RAG Apps - Free and Open Source.	★ 142.2k	Python	Apache-2.0	Active
2	run-llama/llama_indexLlamaIndex is the document processing platform for AI	★ 52.6k	Python	MIT	Active
3	HKUDS/nanobotUltra-lightweight, open-source, self-hosted personal AI agent framework in Python with WebUI, tools, memory, MCP, multi-agent workflows, aut	★ 49.1k	Python	MIT	Active
4	chatanywhere/GPT_API_free免费大模型API，支持免费调用GPT、DeepSeek等主流模型，免费额度10000点，每日刷新！另付费价格最低官方1-2折！	★ 44.4k	—	MIT	Active
5	HKUDS/LightRAG[EMNLP2025] LightRAG: Simple and Fast Retrieval-Augmented Generation	★ 40.2k	Python	MIT	Active
6	VectifyAI/PageIndex📑 PageIndex: Document Index for Vectorless, Reasoning-based RAG	★ 39.3k	Python	MIT	Active
7	patchy631/ai-engineering-hubIn-depth tutorials on LLMs, RAGs and real-world AI agent applications.	★ 38.4k	Jupyter Notebook	MIT	Active
8	ItzCrazyKns/VaneVane is an AI-powered answering engine.	★ 37.4k	TypeScript	MIT	Active