Vibe Mathematics —— 多代理数学问题求解与形式化验证框架
☆45Nov 13, 2026Updated this week
Alternatives and similar repositories for Vibe-Mathematics
Users that are interested in Vibe-Mathematics are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 跨平台兼容性良好，nebula语言拥有全新的语法，中文开发。☆12Oct 10, 2026Updated last month
- DeepSeek Harness 长对话消息的查看/搜索/跳转工具☆14Sep 20, 2026Updated last month
- A simple demo of Firefly Neko (cyber waifu) with LLM, TTS, STT and Live2D☆12Feb 25, 2025Updated last year
- Hash-anchored read/edit/undo_last_edit tools for DeepSeek Harness (dsh), fewer token consumption, lower cost.☆42Nov 4, 2026Updated last week
- DSH 会话级 superagent：盯一个 GitHub 仓库，有变化就唤醒会话。凭证不进模型，返回统一脱敏。☆45Updated this week
- 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.
- ☆15Aug 17, 2026Updated 2 months ago
- ☆11Oct 22, 2024Updated 2 years ago
- 🤖dsh-im-companion：以助理和家的概念增强 dsh-im——哪个工作区有助理在管、在不在线尽收眼底，搬家拖一下就行。☆50Updated this week
- 流萤.skill 将温柔的流萤带来到我们的身边☆27Apr 6, 2026Updated 7 months ago
- Transformer-based Foundation Model for AIS Trajectory Prediction☆21May 13, 2026Updated 6 months ago
- An open-source Python toolkit for preprocessing and analysis of vessel spatio-temporal trajectories.☆23Aug 21, 2022Updated 4 years ago
- 模式提升插件：任务感知思维模式路由的实测提升版（deep-persona / boost 重分类 / 深度自适应）☆23Aug 24, 2026Updated 2 months ago
- GeoClaw demo using Codex☆28Mar 11, 2026Updated 8 months ago
- DSH plugin: pixel-to-text image reading for text-only models. image_scan/image_ocr/image_sample tools + image-reading skill (34-image tra…☆36Oct 25, 2026Updated 2 weeks ago
- 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.
- A high-performance GPU framework for learning physics-based character skills in seconds, with coding-agent workflows for training, tuning…☆20Updated this week
- Resource scheduling and cluster management for AI☆15Jun 29, 2023Updated 3 years ago
- 将已有录屏与讲述制作成带中英双语字幕、语义动效、轻配乐和内容封面的成片，使用 FFmpeg/ASS，支持逐词重点高亮、抖音式关键词花字、表情与梗图贴纸（Noto/Fluent/memegen）、界面箭头与聚光框、章节卡、原创轻音效、屏幕 OCR 词表与镜头运动检测、本地剪映…☆18Oct 16, 2026Updated 3 weeks ago
- 基于Karpathy LLM-Wiki，打造的一款会思考、探索、规划、生长的知识库，能指导做研究、搞创作、生灵感的知识工作台☆49Aug 18, 2026Updated 2 months ago
- Collision Avoidance using Buffered Voronoi Cell☆14Feb 10, 2017Updated 9 years ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆14Apr 16, 2024Updated 2 years ago
- ☆11May 18, 2024Updated 2 years ago
- Claude Code /rewind for DeepSeek Harness — git-first workspace snapshots before every mutation, turn-boundary session forks, one-shot /re…☆30Updated this week
- [CVPR 2024] Official implementation of the paper "TE-TAD: Towards Full End-to-End Temporal Action Detection via Time-Aligned Coordinate E…☆31Jun 26, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ACP reproduction + SuperMimic for Unitree G1 humanoid locomotion, contact planning, parkour, and whole-body control.☆42Nov 5, 2026Updated last week
- 致力于轻快、流畅、简洁、美观的使用体验的第三方哔哩哔哩 Android 客户端。☆69Updated this week
- python igraph tutorial☆11Nov 23, 2023Updated 2 years ago
- LLVM Tutorial From 0 To 1☆15Sep 23, 2026Updated last month
- Clear a sluggish DeepSeek Harness workbench without restarting: rebuild the interface and swap plugin code in place, keeping running turn…☆54Nov 7, 2026Updated last week
- Local-first cli todo list manager written in Rust☆18Jun 18, 2025Updated last year
- 消息撤回插件：回到发送该消息时的状态 DSH Message Recall Plugin: Return to the state when the message was sent☆55Nov 5, 2026Updated last week
- It is a PyCharm plugin of generating Python object variable Getter and Setter function automatically.☆11Oct 29, 2022Updated 4 years ago
- ☆14Apr 5, 2019Updated 7 years 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.
- zhbook 中文书籍 LaTeX 模板☆38Jun 8, 2026Updated 5 months ago
- ☆20Mar 6, 2026Updated 8 months ago
- 一个 MC 模组星图交互式网页。☆62Aug 20, 2026Updated 2 months ago
- ☆18Mar 25, 2026Updated 7 months ago
- 《现代C++编程：从入门到实践》原书代码、习题答案和个人笔记，仅供学习和交流。☆14Jun 7, 2024Updated 2 years ago
- Plain-text declaration export for Lean 4☆49Oct 14, 2026Updated 3 weeks ago
- RSI·Lab — 递归自我改进可视化系统☆15Aug 12, 2026Updated 3 months ago
Are these results useful?