A curated list of awesome interactive theorem prover frameworks
☆23Oct 22, 2026Updated this week
Alternatives and similar repositories for awesome-interactive-theorem-assistants
Users that are interested in awesome-interactive-theorem-assistants are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Sep 15, 2019Updated 7 years ago
- ☆10Oct 15, 2022Updated 4 years ago
- ☆11Oct 15, 2022Updated 4 years ago
- ☆11Oct 15, 2022Updated 4 years ago
- ☆10Oct 15, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆11Oct 15, 2022Updated 4 years ago
- ☆11Oct 15, 2022Updated 4 years ago
- ☆10Sep 6, 2019Updated 7 years ago
- ☆11Sep 6, 2019Updated 7 years ago
- AutoResearch official style beginner tutorial, from 0 to 1☆20Aug 11, 2026Updated 2 months ago
- Compare chatbots pairwise via multi‑round evaluations for SE tasks.☆15Apr 4, 2026Updated 6 months ago
- A self-evolving coding agent in Rust: the smallest possible implementation that actually works.☆17Jul 10, 2026Updated 3 months ago
- ☆12Jun 19, 2026Updated 4 months ago
- ☆18May 7, 2026Updated 5 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A curated list of awesome autonomous researcher frameworks☆173Updated this week
- Math reasoning & proof-assist stack: GVR loop, citation checks via TheoremSearch, streaming API + web UI.☆37Jun 2, 2026Updated 4 months ago
- A curated list of awesome open source libraries to deploy, monitor, version and scale agentic applications and systems☆180Oct 1, 2026Updated 3 weeks ago
- A curated list of awesome leaderboard-oriented resources for AI domain☆384Updated this week
- Evaluation tools for Retrieval-augmented Generation (RAG) methods.☆172Nov 18, 2024Updated last year
- ☆12Feb 11, 2025Updated last year
- ☆17Jul 29, 2025Updated last year
- ☆13Aug 27, 2026Updated last month
- ☆21Sep 12, 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.
- MCP server giving AI agents (Claude Code, Copilot, Antigravity) bi-directional sync with Overleaf - free tier included. 24 tools: LaTeX c…☆20Jul 6, 2026Updated 3 months ago
- ☆28Oct 12, 2026Updated last week
- EvE is an open-source framework for co-evolving ensembles of coding agents. Wrap Codex into an evolutionary loop that co-evolves solvers …☆62Aug 20, 2026Updated 2 months ago
- ☆17Oct 17, 2026Updated last week
- Full-stack Amazon India-inspired e-commerce clone built with Next.js, TypeScript, Prisma, MongoDB, and Stripe.☆22Sep 2, 2026Updated last month
- [CoRL 2026] SafeDriveVLA: Navigation-Conditioned World Model Dreaming for Conflict-Aware End-to-End Autonomous Driving☆25Oct 15, 2026Updated last week
- Claude Code + DeepSeek 等纯文本模型使用时，无法理解图片内容——截图里的报错、UI 设计稿、手绘架构图、文档扫描件，模型统统"看不见"，通过 mcp vision 让模型拥有眼睛。☆26Oct 16, 2026Updated last week
- ☆18Dec 8, 2025Updated 10 months ago
- ☆10Mar 10, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆18Jan 10, 2026Updated 9 months ago
- ☆12Mar 18, 2025Updated last year
- Compressible Linearized Navier-Stokes Solver☆13Sep 2, 2022Updated 4 years ago
- ☆10Apr 17, 2024Updated 2 years ago
- Official implementation for "NADER: Neural Architecture Design via Multi-Agent Collaboration" (CVPR2025)☆15Aug 12, 2025Updated last year
- ☆36Sep 13, 2024Updated 2 years ago
- Papers about agentic AI geospatial data.☆40Aug 17, 2026Updated 2 months ago