Claim-Driven Development: turn software intent into verifiable evidence.
☆139Oct 14, 2026Updated this week
Alternatives and similar repositories for mathema
Users that are interested in mathema are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Small decision models (jev style) for latency critical scenarios☆164Oct 10, 2026Updated last week
- Maximize Windows security and privacy in one click☆163Updated this week
- 可扩展到各个领域的多 Agent 协作平台：自动分析任务，动态组建由不同角色组成的 AI 团队，协同完成复杂任务。☆74Updated this week
- Run Windows 11 24H2+ on Intel Core 2 CPUs by emulating SSE4.2/POPCNT instructions in UEFI VMX hypervisor☆92Sep 29, 2026Updated 2 weeks ago
- Shunt Claude Code agents to any model — selective, per-agent inference-layer routing proxy☆298Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆89Updated this week
- Persistent memory for AI agents, for code, research and everyday life. Facts are typed, sourced, and retired when they change. Local SQLi…☆105Updated this week
- High performance·Local first·Full platform clipboard manager☆86Updated this week
- JarvisCore is a runtime where AI agents operate as a fleet of equal peers. Agents discover one another by capability, execute tasks from …☆191Updated this week
- BOSS 直聘自动投递系统 —— 登录、抓取职位、简历匹配、生成招呼语、一键投递，一条航段跑通。☆55Updated this week
- freehire — the open-source search engine for job seekers☆853Updated this week
- Powerful and useful GUI Cross-platform tool for interact with Serial Port (RS-232, COM) devices☆40Oct 6, 2026Updated last week
- Self-hosted AI workspace for software engineering capstone and course projects. Generate UML models, system designs, test cases and edita…☆60Updated this week
- A local emulator for enterprise SaaS APIs — Slack, Gmail, Google Drive, GitHub, Jira, Notion, S3 and more — with the real response shapes…☆288Updated 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.
- A Pokémon-style adventure built with Codex, featuring AI-generated maps, NPCs, branching saves, and multiplayer. The adventure never ends…☆184Sep 20, 2026Updated 3 weeks ago
- ABL2ABC is an open-source industrial software compiler framework that compiles Atomic Business Loop (ABL) together with industrial mechan…☆45Updated this week
- ☆71Updated this week
- ☆72Oct 9, 2026Updated last week
- Local-first verification layer for AI agents: evidence, provenance, policy gates, human approval, and auditable Trust Receipts before a c…☆24Updated this week
- DeepSeek Harness 换肤 / 壁纸 / 主题包插件 (dsh-plugin) — 8 套 Mirage 主题、每用户强调色、壁纸2.0、主题包导入导出/分享链接、收藏与随机，纯原生 token 系统实现。☆250Updated this week
- 麦算盘：基于麦当劳 MCP 的智能点餐助手，枚举最优组合实算比价，帮你省钱、控热量、办团餐。☆43Updated this week
- Clash for Windows is a graphical Windows client based on the Clash core, featuring multi-protocol proxy support, rule-based traffic routi…☆167Sep 29, 2026Updated 2 weeks ago
- Self-hosted, non-custodial gateway between the API you already run and the protocols AI agents use to discover, call and pay for it☆55Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Open, runnable MATLAB & Simulink reference models for lithium-ion batteries, SOC EKF, thermal management, power converters, and grid-form…☆244Oct 6, 2026Updated last week
- Full script for training a frontier model on 220k GB200s. "Prometheus stole fire from the gods and gave it to man."☆40Sep 25, 2026Updated 3 weeks ago
- Python and TypeScript SDKs for verifiable evidence of AI agent actions. Signed receipts, policy enforcement, audit trails. Works with Lan…☆512Updated this week
- OpenGraphMemory : Self-hosted knowledge graph extraction, temporal graph storage, and agent memory platform.☆66Sep 19, 2026Updated 3 weeks ago
- Independent bitcoin full node in Rust☆55Updated this week
- 【国内VPN梯子】2026最稳定的梯子推荐与机场科学上网测评🔥🔥🔥☆215Aug 9, 2026Updated 2 months ago
- Fix and diagnose DeepSeek Harness on native Windows. Official PowerShell, Workspace Write, shortcuts, and legacy preset repair. No WSL.☆124Updated this week
- ☆18Sep 17, 2025Updated last year
- A modern aegisub compatible subtitle tool with better implements and functions.☆99Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Windows 便携工具：按立创 C 编号批量下载 STEP/OBJ 3D 模型，导出 Altium Designer SchLib/PcbLib 元件库，预览 3D、符号与封装，支持自更新。☆119Updated this week
- High Performance KV Cache for LLM Inference☆337Updated this week
- 🤖 Python Steam MCP Client☆152Oct 5, 2026Updated last week
- A free, open-source macOS drag-and-drop shelf and Dynamic Island for files, images, text and links. Built with SwiftUI + AppKit.☆231Updated this week
- A linux fork of terraria-modder☆20Aug 2, 2026Updated 2 months ago
- end to end encrypted secret sync for developer teams. encrypt locally; the server only ever stores ciphertext.☆24Updated this week
- Open ecommerce AI tools and guides for Amazon review analysis, listing optimization, keyword research, SEO audits, AI image/video generat…☆109Updated this week