A curated list of awesome interactive theorem prover frameworks
☆23Oct 22, 2026Updated 3 weeks ago
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:
- ☆11Oct 15, 2022Updated 4 years ago
- ☆11Sep 6, 2019Updated 7 years ago
- ☆12Oct 15, 2022Updated 4 years ago
- ☆12Oct 15, 2022Updated 4 years ago
- ☆10Sep 15, 2019Updated 7 years 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.
- ☆10Sep 6, 2019Updated 7 years ago
- ☆12Oct 15, 2022Updated 4 years ago
- ☆11Oct 15, 2022Updated 4 years ago
- ☆11Oct 15, 2022Updated 4 years ago
- AutoResearch official style beginner tutorial, from 0 to 1☆20Aug 11, 2026Updated 3 months ago
- ☆12Oct 15, 2022Updated 4 years ago
- A self-evolving coding agent in Rust: the smallest possible implementation that actually works.☆17Jul 10, 2026Updated 4 months ago
- ☆11Oct 15, 2022Updated 4 years ago
- ☆12Dec 4, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- AgenticSZZ: Temporal Knowledge Graph-Guided Agentic Bug-Inducing Commit Identification☆18Nov 6, 2026Updated last week
- You install it. Claude drives the CLI tool. At first it might seem like too much. Eventually, nothing less will make sense.☆29Sep 19, 2026Updated last month
- PocketFlow from 0 to 1 ｜ 100 行代码构建所有 LLM 应用 ｜ 首个 PocketFlow 交互式教程 ｜ 光速掌握智能体开发实战☆35Oct 12, 2026Updated last month
- Meta-specification framework for AI Agents to generate Spec-driven X toolkits automatically.☆54Nov 22, 2025Updated 11 months ago
- A curated list of awesome autonomous researcher frameworks☆188Oct 28, 2026Updated 2 weeks ago
- A curated list of awesome resources for spec-driven development (SDD)☆323Updated this week
- Evaluation tools for Retrieval-augmented Generation (RAG) methods.☆172Nov 18, 2024Updated last year
- TimeSliver: Interpretable Time-Series Classification using Symbolic-Linear Representation☆14Mar 18, 2026Updated 7 months ago
- This repository contains open-source code implementations for assignments and projects from the Master of Science in Data-Driven Modeling…☆13Jul 16, 2026Updated 3 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.
- 本项目支持小红书 / Rednote 总浏览量、点赞量、收藏量、评论数、转发数一键查询。忽略小红书创作服务平台半年限制，支持所有笔记数据的导出，支持展示个人主页历史浏览量 Top 10 笔记。 登录创作服务平台并打开笔记管理页面后，扩展会读取当前账号的全部笔记，在浏览器本…☆23Oct 10, 2026Updated last month
- A curated list of mathematical proofs generated by artificial intelligent systems, verified by automated theorem prover, and a list of su…☆15Oct 17, 2026Updated 3 weeks ago
- ☆209Sep 22, 2026Updated last month
- Full-stack Amazon India-inspired e-commerce clone built with Next.js, TypeScript, Prisma, MongoDB, and Stripe.☆22Sep 2, 2026Updated 2 months ago
- The ecosystem reshaping mathematics.☆12Apr 29, 2026Updated 6 months ago
- ☆13Aug 27, 2026Updated 2 months ago
- ☆18Dec 8, 2025Updated 11 months ago
- A meta-harness for Google Gemini 3: An agentic web UI with tool use and reasoning visualization, built by an AI agent.☆14Nov 24, 2025Updated 11 months ago
- [ICDE 2025] Official implementation of "Efficient Multivariate Time Series Forecasting via Calibrated Language Models with Privileged Kno…☆29Jun 27, 2025Updated last year
- 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.
- ☆17Oct 26, 2026Updated 2 weeks ago
- ☆18Jan 10, 2026Updated 10 months ago
- Compressible Linearized Navier-Stokes Solver☆13Sep 2, 2022Updated 4 years ago
- ☆13Apr 10, 2025Updated last year
- ☆10Apr 17, 2024Updated 2 years ago
- Gaze Heads: How VLMs Look at What They Describe☆14Jun 15, 2026Updated 4 months ago
- Official implementation for "NADER: Neural Architecture Design via Multi-Agent Collaboration" (CVPR2025)☆15Aug 12, 2025Updated last year
Are these results useful?