VeriRepro: Evidence-grounded reproduction for computational papers.
☆195Sep 20, 2026Updated last week
Alternatives and similar repositories for VeriRepro
Users that are interested in VeriRepro are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Web3 wallet for AI agents (OpenClaw). Self-hosted, non-custodial, multi-chain EVM. 16 tools for send/balance/contacts/policy — keys never…☆54Apr 11, 2026Updated 5 months ago
- OGPO: One-Step Generative Policy Optimization for Real-Time Robot Control (ACM MM 2026).☆65Updated this week
- Multi-dimensional Chebyshev tensor interpolation with analytical derivatives for .NET☆21Updated this week
- Objective-C iOS maintenance skill for legacy UIKit apps. Helps review, refactor, debug, and write safer OC code with guidance on ARC owne…☆181Jul 26, 2026Updated 2 months ago
- Develop an EvoAML framework integrating graph networks and temporal evolution analysis, aimed at addressing cross-industry tracking gaps …☆410Jul 11, 2026Updated 2 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.
- CrewOS 是一个关于企业 Agent 产品形态的公开实验。 我正在尝试回答一个问题： 当 AI 已经能够完成任务以后，它能否进一步接住长期、复杂、持续变化的真实业务？ 这里会持续记录产品原型、设计实验、思考过程以及失败的假设。 如果你也在研究类似问题，欢迎一起讨论。☆103Sep 11, 2026Updated 3 weeks ago
- [CVPR'26 Oral] LDP-Slicing: Local Differential Privacy for Images via Randomized Bit-Plane Slicing☆23Jun 5, 2026Updated 3 months ago
- Official repository for the ACM MM 2026 Oral paper “Remember-R1: Mitigating Long-Context Visual Forgetting through Reinforcement Learning…☆424Aug 28, 2026Updated last month
- ☆100Apr 27, 2026Updated 5 months ago
- 纪念王小波逝世29周年。可以复制的有趣，真是最无趣的事情。但我还是愿意刻舟求剑一下。☆27Apr 11, 2026Updated 5 months ago
- Standalone agent runtime core with neutral LLM types, provider clients, tool loop, and extension protocols.☆291Jul 23, 2026Updated 2 months ago
- Project Page: https://guowei-zou.github.io/coflow/☆95Updated this week
- ☆35Apr 13, 2026Updated 5 months ago
- Typeink-Android☆32Apr 9, 2026Updated 5 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- BioMate-KB Bioconductor Skills — 200 packages (top 100 by downloads + 100 rising stars) as vignette-grounded Claude/agent skills, with pe…☆804Jun 20, 2026Updated 3 months ago
- Inference for hybrid LLMs: Gemma, RWKV, and all kinds of hybrids.☆362Sep 10, 2026Updated 3 weeks ago
- 通晓AI中台-后端能力☆978Feb 28, 2026Updated 7 months ago
- 本地优先的全栈 AI 创作工作站：AI对话 · AI漫画 · 漫剧创作 · 写作台 · 知识学习五大模块；vLLM / llama.cpp / Transformers 多引擎本地推理，显存智能调度、舱壁隔离自愈、仅供学习使用，欢迎交流指正。☆315Sep 20, 2026Updated last week
- Orchestrate SAP Cloud Integration delivery across multi-tenant landscapes — replace repetitive manual steps with a single governed workfl…☆71Sep 16, 2026Updated 2 weeks ago
- Local semantic copilot and governed agent engineering runtime for AI-assisted software delivery.☆44Jul 1, 2026Updated 3 months ago
- CrewMeld — Enterprise AI Digital Workforce Platform. Manage AI employees like real team members. Visual SOP orchestration, 13 LLM provide…☆923Aug 28, 2026Updated last month
- A cross-platform vector database, which can be integrated into existing databases as a plugin.☆2,366Aug 25, 2026Updated last month
- Universal on-premise pathology AI platform: plug in any foundation model, dataset, or cancer task hassle free.☆41May 13, 2026Updated 4 months 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.
- Yozu web app scaffold for an AI travel decision and execution layer: landing, demo flow, source-backed trip options, approval-gated coord…☆999Jun 9, 2026Updated 3 months ago
- Context Axial Reverse Attention Network for Small Medical Objects Segmentation☆80Sep 29, 2025Updated last year
- A local, minimum, encrypted secrets vault for coding agents — let your AI works with your keys and secret, but never sees them.☆85Sep 15, 2026Updated 2 weeks ago
- 🦭 A cross-device desktop AI agent with memory, autonomous goals, dynamic workflows, and headless deployment | 会记忆、能持续推进目标、会动态编排多 Agent 的…☆1,711Updated this week
- 基于团结引擎的小游戏开发框架——流星之愿，微信/抖音小游戏双平台☆112Sep 20, 2026Updated last week
- Agentlens is a trusted agent trading platform. Here, you can quickly find the Agent that meets your needs, and you can also publish your…☆1,028Aug 24, 2026Updated last month
- 100+ 专业中文简历模板，ATS 友好，覆盖互联网/金融/应届生等场景 | WonderCV Resume Templates☆43Aug 6, 2026Updated last month
- Create lightweight standalone HTML apps from simple prompts—no framework or build step, with optional local AI.☆101Aug 31, 2026Updated last month
- WebView-only Sub2API price monitor with single-exe releases☆21Jul 13, 2026Updated 2 months ago
- 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.
- 毛选Skill升级版：毛选长征机把《毛泽东选集》五卷的方法论提炼为一套可运行的对话协议：调查前置、矛盾重构、持久战略、苏格拉底式反问。它不给通用建议，它帮你把情况搞实，找到真正的主要矛盾，然后一起想清楚。☆430Jun 1, 2026Updated 4 months ago
- Reconcile stuck AI-agent tasks after restarts and timeouts. Preview SQLite changes, close stale delivery states, and never guess success.☆661Aug 25, 2026Updated last month
- Polaris 是一个事务驱动的 AI 软件工厂内核。它不是聊天式编程助手——而是将 LLM 降级为受限决策组件，由系统内核统一接管执行、审计、预算与回滚，实现企业级的无人值守、可追责、可回滚软件交付流水线。内置 PM / Architect / Director / QA…☆103Updated this week
- 太阳RPG编辑器中的TS作图框架☆107Apr 13, 2026Updated 5 months ago
- DataInfra Series. Redact EVERYTHING with local llms and vlms.☆1,145Sep 2, 2026Updated last month
- Soku CLI — call Soku ads/GA4/PostHog data capabilities from any AI agent or shell.☆304Updated this week
- The long-running embedded agent☆745Aug 25, 2026Updated last month