A curated list of awesome interactive theorem prover frameworks
☆23Jun 19, 2026Updated 2 months ago
Alternatives and similar repositories for awesome-interactive-theorem-prover
Users that are interested in awesome-interactive-theorem-prover are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Compare chatbots pairwise via multi‑round evaluations for SE tasks.☆15Apr 4, 2026Updated 4 months ago
- A self-evolving coding agent in Rust: the smallest possible implementation that actually works.☆15Jul 10, 2026Updated last month
- ☆17May 7, 2026Updated 3 months ago
- ☆12Jun 19, 2026Updated 2 months ago
- How to Start a Startup — AI Agent Skill☆28Apr 17, 2026Updated 4 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.
- PocketFlow from 0 to 1 ｜ 100 行代码构建所有 LLM 应用 ｜ 首个 PocketFlow 交互式教程 ｜ 光速掌握智能体开发实战☆34Aug 14, 2026Updated 2 weeks ago
- You install it. Claude drives the CLI tool. At first it might seem like too much. Eventually, nothing less will make sense.☆26Jun 2, 2026Updated 2 months ago
- Meta-specification framework for AI Agents to generate Spec-driven X toolkits automatically.☆51Nov 22, 2025Updated 9 months ago
- An autonomous research agent that turns a topic into a peer-reviewed technical report☆126Jun 3, 2026Updated 2 months ago
- A curated list of awesome autonomous researcher frameworks☆153Updated this week
- A curated list of awesome resources for spec-driven development (SDD)☆252Aug 23, 2026Updated last week
- A curated list of awesome open source libraries to deploy, monitor, version and scale agentic applications and systems☆166Aug 1, 2026Updated 3 weeks ago
- A curated list of awesome leaderboard-oriented resources for AI domain☆381Updated this week
- Evaluation tools for Retrieval-augmented Generation (RAG) methods.☆171Nov 18, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A curated list of awesome curated lists of many topics related to artificial intelligence.☆225Jul 9, 2026Updated last month
- Full-stack Amazon-inspired e-commerce platform built with Next.js, TypeScript, Prisma, MongoDB, and Stripe.☆21Aug 7, 2026Updated 3 weeks ago
- ☆18Dec 8, 2025Updated 8 months ago
- ☆18Jan 10, 2026Updated 7 months ago
- ☆16Jun 19, 2026Updated 2 months ago
- ☆13Updated this week
- ☆15Mar 31, 2026Updated 4 months ago
- ☆23Mar 16, 2026Updated 5 months ago
- Sandboxed tools and JS runtime for AI agents☆18Jul 13, 2026Updated last month
- 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.
- Rust cross-compiler☆15Aug 20, 2026Updated last week
- ☆15May 20, 2026Updated 3 months ago
- This is the code for CVPR2022 paper "Modeling Motion with Multi-Modal Features for Text-Based Video Segmentation"☆19Feb 19, 2023Updated 3 years ago
- 8x8x8 Circles or Spheres drawn in OpenGL in Qt, based off the grabber example. See the pendulum repo, too.☆12Mar 4, 2015Updated 11 years ago
- Threat Network Detection in Online Social Networks☆11Jan 20, 2017Updated 9 years ago
- Implementation of the Hierarchical Latent Action Model, proposed by Hanjung Kim et al. of Yonsei University☆17May 6, 2026Updated 3 months ago
- To Trust Or Not To Trust Your Vision-Language Model's Prediction☆15May 30, 2025Updated last year
- ☆16Dec 22, 2025Updated 8 months ago
- F2F-AP: Flow-to-Future Asynchronous Policy for Real-time Dynamic Manipulation☆16Apr 7, 2026Updated 4 months ago
- 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.
- Device Tree for realme GT Neo 3T☆15Nov 25, 2024Updated last year
- [ECCV 2026] ExploreVLA: Dense World Modeling and Exploration for End-to-End Autonomous Driving☆25Jul 26, 2026Updated last month
- Code for paper: "Executing Arithmetic: Fine-Tuning Large Language Models as Turing Machines"☆10Oct 11, 2024Updated last year
- MIC-BEV: Multi-Infrastructure Camera Bird’s-Eye-View Perception Transformer for 3D Object Detection☆20Jul 5, 2026Updated last month
- Curses-based tools for Zsh, e.g. multi-word history searcher☆16Apr 15, 2023Updated 3 years ago
- ☆18Nov 1, 2024Updated last year
- [ICCV'25] ViLU: Learning Vision-Language Uncertainties for Failure Prediction☆16Jul 16, 2025Updated last year