A curated list of awesome interactive theorem prover frameworks
☆23Jun 19, 2026Updated 3 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:
- AutoResearch official style beginner tutorial, from 0 to 1☆20Aug 11, 2026Updated last month
- ☆12Jun 19, 2026Updated 3 months ago
- How to Start a Startup — AI Agent Skill☆32Apr 17, 2026Updated 5 months ago
- ☆11Oct 15, 2022Updated 3 years ago
- You install it. Claude drives the CLI tool. At first it might seem like too much. Eventually, nothing less will make sense.☆28Sep 19, 2026Updated 3 weeks 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.
- Meta-specification framework for AI Agents to generate Spec-driven X toolkits automatically.☆53Nov 22, 2025Updated 10 months ago
- A curated list of awesome autonomous researcher frameworks☆164Oct 1, 2026Updated last week
- A curated list of awesome resources for spec-driven development (SDD)☆292Updated this week
- Math reasoning & proof-assist stack: GVR loop, citation checks via TheoremSearch, streaming API + web UI.☆38Jun 2, 2026Updated 4 months ago
- A curated list of awesome open source libraries to deploy, monitor, version and scale agentic applications and systems☆179Oct 1, 2026Updated last week
- A curated list of awesome leaderboard-oriented resources for AI domain☆383Sep 30, 2026Updated last week
- Evaluation tools for Retrieval-augmented Generation (RAG) methods.☆172Nov 18, 2024Updated last year
- A curated list of awesome curated lists of many topics related to artificial intelligence.☆226Jul 9, 2026Updated 3 months ago
- ☆17Jul 29, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Code of “Dynamic Graph Convolutional Network with Attention Fusion for Traffic Flow Prediction”.☆22Apr 21, 2024Updated 2 years ago
- Full-stack Amazon India-inspired e-commerce clone built with Next.js, TypeScript, Prisma, MongoDB, and Stripe.☆22Sep 2, 2026Updated last month
- ☆21Sep 12, 2024Updated 2 years ago
- ☆26Apr 2, 2026Updated 6 months ago
- [ICDE 2025] Official implementation of "Efficient Multivariate Time Series Forecasting via Calibrated Language Models with Privileged Kno…☆29Jun 27, 2025Updated last year
- Papers about agentic AI geospatial data.☆39Aug 17, 2026Updated last month
- ☆18Dec 8, 2025Updated 10 months ago
- ☆34Sep 8, 2026Updated last month
- ☆18Jan 10, 2026Updated 9 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The repo is the official implementation for the paper: [MGCN: Mamba-Integrated Spatiotemporal Graph Convolutional Network for Long-Term T…☆30Jan 27, 2026Updated 8 months ago
- ☆14Updated this week
- ☆15Mar 31, 2026Updated 6 months ago
- Sandboxed tools and JS runtime for AI agents☆18Jul 13, 2026Updated 2 months ago
- ☆23Mar 16, 2026Updated 6 months ago
- Welcome to the official repository of **MixLinear**, the ICLR 2026 paper.☆51Aug 19, 2026Updated last month
- Rust cross-compiler☆15Oct 1, 2026Updated last week
- AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.☆223Aug 17, 2026Updated last month
- ☆15May 20, 2026Updated 4 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- This is the code for CVPR2022 paper "Modeling Motion with Multi-Modal Features for Text-Based Video Segmentation"☆19Feb 19, 2023Updated 3 years ago
- [ACL 2026 Oral] Official implementation of "STReasoner: Spatio-Temporal Reasoning in Time Series via Spatial-Aware Reinforcement Learning…☆56May 21, 2026Updated 4 months ago
- ☆42Oct 16, 2024Updated last year
- 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 5 months ago
- ☆16Dec 22, 2025Updated 9 months ago