Alternatives and similar repositories for TheoremExplainAgent

Users that are interested in TheoremExplainAgent are comparing it to the libraries listed below

• HarleyCoops / Math-To-Manim
  Create Epic Math and Physics Animations & Study Notes From Text and Images.
  ☆1,442Updated last week
• showlab / Code2Video
  Video generation via code
  ☆1,376Updated 3 weeks ago
• cxcscmu / Craw4LLM
  Official repository for "Craw4LLM: Efficient Web Crawling for LLM Pretraining"
  ☆649Updated 9 months ago
• lamm-mit / PDF2Audio
  ☆1,351Updated 8 months ago
• attentionmech / mav
  Model Activity Visualiser
  ☆520Updated 8 months ago
• principia-ai / WriteHERE
  An Open-Source AI Writing Project.
  ☆799Updated 3 weeks ago
• UCSC-VLAA / story-adapter
  A Training-free Iterative Framework for Long Story Visualization
  ☆936Updated 11 months ago
• showlab / Paper2Video
  Automatic Video Generation from Scientific Papers
  ☆1,887Updated 2 months ago
• ZongqianLi / ReasonGraph
  [ACL 2025 Demo] Repository for the demo and paper: ReasonGraph: Visualisation of Reasoning Paths
  ☆506Updated 6 months ago
• genai-handbook / genai-handbook.github.io
  A roadmap for "generative AI" learning resources
  ☆291Updated last year
• NVIDIA-AI-Blueprints / pdf-to-podcast
  Transform PDFs into AI podcasts for engaging on-the-go audio content.
  ☆778Updated 6 months ago
• X-PLUG / MM_StoryAgent
  ☆290Updated last year
• echohive42 / AI-reads-books-page-by-page
  AI reads books: Page-by-Page PDF Knowledge Extractor & Summarizer. script performs an intelligent page-by-page analysis of PDF books, met…
  ☆1,566Updated 11 months ago
• bklieger-groq / mathtutor-on-groq
  Voice-Enabled Math Tutor Powered by Groq that Calculates and Renders Live Problems and Instruction with LaTeX in Seconds!
  ☆236Updated 11 months ago
• m-damien / VisualStoryWriting
  🧙‍♂️ Writing by manipulating visual representations of stories
  ☆930Updated 5 months ago
• convergence-ai / proxy-lite
  A mini, open-weights, version of our Proxy assistant.
  ☆977Updated 9 months ago
• mshumer / OpenDeepResearcher
  ☆2,743Updated 7 months ago
• abhiemj / manim-mcp-server
  ☆524Updated 7 months ago
• zjunlp / OmniThink
  [EMNLP 2025] OmniThink: Expanding Knowledge Boundaries in Machine Writing through Thinking
  ☆473Updated 3 months ago
• gemsjohn / physics-sims
  Interesting physics-sims generated via LLM prompting.
  ☆269Updated 7 months ago
• facebookresearch / spiritlm
  Inference code for the paper "Spirit-LM Interleaved Spoken and Written Language Model".
  ☆926Updated last year
• dsa / fast-voice-assistant
  ⚡ Insanely fast AI voice assistant with <500ms response times
  ☆579Updated last year
• qunash / r1-overthinker
  Force DeepSeek r1 models to think for as long as you wish
  ☆372Updated 10 months ago
• FoloUp / FoloUp
  💼 Your own AI-powered voice interviewer for hiring.
  ☆1,023Updated 2 weeks ago
• jina-ai / node-DeepResearch
  Keep searching, reading webpages, reasoning until it finds the answer (or exceeding the token budget)
  ☆5,022Updated last week
• MiniMax-AI / MiniMax-MCP
  Official MiniMax Model Context Protocol (MCP) server that enables interaction with powerful Text to Speech, image generation and video ge…
  ☆1,122Updated last month
• Intelligent-Internet / ii-agent
  II-Agent: a new open-source framework to build and deploy intelligent agents
  ☆3,054Updated last month
• ByteDance-Seed / Seed-Coder
  Seed-Coder is a family of lightweight open-source code LLMs comprising base, instruct and reasoning models, developed by ByteDance Seed.
  ☆709Updated 6 months ago
• zai-org / CogAgent
  An open-sourced end-to-end VLM-based GUI Agent
  ☆1,101Updated 8 months ago
• Goekdeniz-Guelmez / Local-NotebookLM
  Googles NotebookLM but local
  ☆664Updated last week