Recognize, transcribe and typeset math formulas locally: natural language / image / broken TeX → valid LaTeX with preview
☆56Nov 10, 2026Updated this week
Alternatives and similar repositories for TeXada-the-Math-Agent
Users that are interested in TeXada-the-Math-Agent are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 本地 LaTeX 工作台：源码/PDF 双栏、图片识别、保真语法修复、AgentSkills 与人工审阅 · AGPL-3.0-only☆17Updated this week
- Secure and reliable cloud-native application☆11Oct 27, 2025Updated last year
- Reliable stream of Ethereum blocks☆11Oct 27, 2025Updated last year
- 终端优先的 Linux AI 运维工作台：SSH/SFTP、真实命令回显、分级审批与一步一卡教学。Windows 桌面预稳定版。A terminal-first AI workbench for Linux operations.☆91Updated this week
- ROS1 Noetic/Gazebo mobile robot simulation base for SLAM, navigation, EKF, and Fast-LIO experiments with Livox Mid-360 support.☆30Mar 8, 2026Updated 8 months 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.
- Analyze all your crypto assets in cex and web3 wallet☆12Oct 27, 2025Updated last year
- ☆89Sep 16, 2026Updated last month
- Community-driven project focused on simplicity and performance☆13Oct 27, 2025Updated last year
- Personal GitHub Pages site for wiiheise39☆13Sep 9, 2025Updated last year
- Rust, actix-web3.0, demo, CN document☆13Oct 27, 2025Updated last year
- 🧨 Connect any wallet to web3 instantly☆13Oct 27, 2025Updated last year
- A virtual CodeReview Board for your code — multi-expert, scored, and actionable.☆104Oct 12, 2026Updated last month
- Independent bridge to link any Ethereum network with the Provable engine☆14Oct 27, 2025Updated last year
- Efficient data processing and visualization tools☆14Oct 27, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Generate typings based on your ABIs, with provider wrappers exposed.☆15Oct 27, 2025Updated last year
- 基于 Vite/Rollup Module Graph 的前端资源浪费分析插件☆18Jul 2, 2026Updated 4 months ago
- Static analyzer for solidity contracts based on regexs specifically crafted for code4rena contests☆15Oct 27, 2025Updated last year
- T-Cube is a glass-like 3D launcher with six faces for apps, files and websites, droplet-style edge docking, text/image clipboard history,…☆47Updated this week
- Package ethtool allows control of the Linux ethtool generic netlink interface. MIT Licensed.☆16Mar 1, 2026Updated 8 months ago
- 面向 VC/PE 投资人的 AI 调研工作体系：7 步流水线 × 三方案（A 企业 / B 行业技术 / C 混合）+ 9 项执行规范 + 8 套模板 + 工具脚本 + 5 个真实案例与长期记忆库，让「看公司、看行业、看赛道」从凭经验变成按流程☆83Sep 2, 2026Updated 2 months ago
- 基于 nanobot 的 Windows 桌面 AI 智能秘书☆19Oct 9, 2026Updated last month
- A unified anti-dead-loop toolkit for LLM agents — loop detection, budget ceiling, state stasis guard, and circuit breaker in one library.☆83Jun 5, 2026Updated 5 months ago
- ☆95Nov 5, 2026Updated last week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- An AI destkop application for coding, generic AI use, knowledge collecting etc.☆206Aug 12, 2026Updated 3 months ago
- ☆568Oct 26, 2026Updated 2 weeks ago
- 希儿最初的家~☆730Oct 28, 2026Updated 2 weeks ago
- Modular perception, grasp planning, tracking, and sorting pipeline for ML robotics☆99Aug 11, 2026Updated 3 months ago
- 为北太天元开发的工具箱，名称为面向材料计算的偏微分方程数值仿真工具箱。☆50Apr 23, 2026Updated 6 months ago
- An infinite canvas product that allows any number of codex, claude, opencode, pi, and other agents to communicate simultaneously on the c…☆188Sep 3, 2026Updated 2 months ago
- ☆217Jul 30, 2026Updated 3 months ago
- ☆108Oct 27, 2026Updated 2 weeks ago
- Verifier-first transfer-matrix workbench for multilayer optics and differentiable inverse design☆68Oct 14, 2026Updated 3 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Powerful, free, context-aware AI native meeting assistant that transcribes in real-time and locally on your computer, writes the minutes,…☆305Updated this week
- The open registry and delivery platform for agent skills.☆551Updated this week
- MCP gateway & OAuth MCP servers. LangGraph agent: memory, eval/tracking, PII guard, context trimming. Docker quick start for enterprise a…☆587Oct 3, 2026Updated last month
- [CIKM'25] Enhancing Graph Collaborative Filtering with FourierKAN Feature Transformation☆137Dec 2, 2025Updated 11 months ago
- ☆25Apr 19, 2026Updated 6 months ago
- Akiba is a Ghidra-based binary analysis tool supporting batch pipelines☆89Updated this week
- Turn any LLM into a reliable local JSON API | Contract-first local LLM API builder for structured JSON outputs, model/prompt comparison, …☆24Apr 7, 2026Updated 7 months ago
Are these results useful?