A comprehensive mathematical reasoning skill for AI assistants — arithmetic to research-level problems with rigorous verification.
☆48Jun 9, 2026Updated 4 months ago
Alternatives and similar repositories for Math.Skill
Users that are interested in Math.Skill are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 坤面板 KunPanel —— Go 单二进制轻量级服务器运维管理面板(网站/应用商店/Docker/WAF/监控/终端),支持 Linux 全系统与 Windows 一键安装。Single-binary server management panel in Go.☆66Updated this week
- Sender-side TCP acceleration: eBPF struct_ops congestion control with a Rust control plane. For links with non-congestive random loss. Ke…☆182Updated this week
- Open-source iOS compatibility layer for Diablo II: Resurrected with the Reign of the Warlock expansion. Runs your own Switch copy nativel…☆47Updated this week
- Four Claude Code mods: Cache Keeper, Recording Mode, Goal Meter, and Collision Guard☆37Oct 2, 2026Updated 2 weeks ago
- JAV Helper Suite — JavDB / JavBus 浏览、收藏、筛选、新作追踪、资源检索、媒体预览与数据备份增强用户脚本☆93Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- SSH、WinRM、SFTP、Docker、数据库与 AI 的一体化终端工作台☆61Updated this week
- Train I3D on NTU-RGB+D dataset in keras☆11Feb 5, 2019Updated 7 years ago
- Analyzing Complex Networks with Python☆12Aug 24, 2025Updated last year
- Tasogare 黄昏 — vibrant glassmorphism theme for Komari with day/night dual wallpapers · 彩色玻璃拟态 Komari 主题☆33Aug 20, 2026Updated last month
- OpenCode Go 平价 Coding Plan 用量统计桌面应用☆73Aug 14, 2026Updated 2 months ago
- TreeClip 是一款Chrome扩展工具，它提供了多种灵活的页面文本选择方式（同类选择、点选、框选、文本搜索），并结合了层级导航、内部元素选择、层级绑定、自定义输出格式等功能，大幅提升您从网页复制信息的效率。TreeClip offers flexible text s…☆36Aug 21, 2026Updated last month
- ☆30Updated this week
- 开源的企业级可运行本体平台：统一建模业务语义，接地企业真实数据，并通过 MCP、SDK 向 AI Agent 提供可治理的逻辑与行动能力。☆72Oct 12, 2026Updated last week
- This is a network calculation tool with a clean interface and powerful features, including network and IP address calculation, host and s…☆17Jan 16, 2026Updated 9 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- From Calculus to Cohomology - Ib Madsen and Jørgen Tornehave☆13Oct 2, 2026Updated 2 weeks ago
- Local-only Claude Code statusLine bridge for usage-aware session handoff.☆35Jul 5, 2026Updated 3 months ago
- Jeroen Cottaar's work for the Kaggle Geophysical Waveform Inversion competition (2nd place)☆14Aug 11, 2025Updated last year
- A very simple website to remember a loved one who passed away☆10Jul 30, 2017Updated 9 years ago
- Xiaomi Joyose cloud control editor — visualize, edit & unlock game performance policies (fps limits, thermal tables, CPU baselines) synce…☆83Aug 13, 2026Updated 2 months ago
- A native SSH workspace built with Rust, featuring split terminals, SFTP, OpenSSH integration, port forwarding, encrypted sync, and AI age…☆59Updated this week
- One-click deployment and management toolkit for Mieru, Snell v4/v5, Hysteria2 and VLESS + FinalMask + Sudoku.☆94Sep 29, 2026Updated 2 weeks ago
- manage your stars on github☆13May 21, 2020Updated 6 years ago
- 本地 ComfyUI 抽卡引擎，解决不会写提示词的问题。☆74Oct 2, 2026Updated 2 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆12Sep 4, 2023Updated 3 years ago
- LaTeX Thesis Template for Soochow University☆10Mar 28, 2021Updated 5 years ago
- Computational ledger for two room-temperature Luttinger-compensated magnet candidates, YBaMnFeO5 and KV[Cr(CN)6]: raw QE inputs/outputs, …☆58Oct 5, 2026Updated 2 weeks ago
- My tiny blog (Mirror)☆13Sep 13, 2026Updated last month
- ☆32Sep 26, 2026Updated 3 weeks ago
- LaTeX package provides for input slides on note pages quickly for making annotations.☆15Jul 1, 2026Updated 3 months ago
- Ontology-driven WorkBuddy skill for requirements discovery, domain modeling, and app generation | WorkBuddy 需求探索、本体建模与领域应用生成器☆57Sep 21, 2026Updated 3 weeks ago
- Skill for Claude Code & Codex: describe your system architecture in text → get an editable PowerPoint diagram (native shapes, not a flat …☆44Aug 31, 2026Updated last month
- Independently Recurrent Neural Network - IndRNN using "NTU RGB+D" Action Recognition Dataset☆10May 13, 2019Updated 7 years ago
- 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.
- No Postman, Just GetCat! 用 Rust + GPUI 打造的原生跨平台 HTTP 接口调试工具☆45Sep 16, 2026Updated last month
- 科研日志模板☆15May 8, 2025Updated last year
- Course materials for CU Boulder CSCI 5636 Numerical Solution of Partial Differential Equations☆16Aug 27, 2018Updated 8 years ago
- 求职舱：本地优先的 AI 求职桌面助手，支持 BOSS 直聘岗位采集、简历管理、岗位匹配分析、求职报告与面试准备。☆102Oct 10, 2026Updated last week
- Link42 是一个 WireGuard 点对点链路管理面板，偏向 DN42、家庭网络和小型内网场景。主控使用 Docker 部署，节点侧运行 Agent，由主控下发 WireGuard 配置、启停任务、链路监测任务和连接中间层任务。☆50Updated this week
- 关键词链接插件 for Typecho 1.1☆10Jul 1, 2018Updated 8 years ago
- 精准、便捷的硬件检测、USB定制、黑苹果EFI生成和编辑工具。☆11Mar 31, 2025Updated last year