A curated list of awesome interactive theorem prover frameworks
☆23Jun 19, 2026Updated last month
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☆19May 8, 2026Updated 2 months ago
- Compare chatbots pairwise via multi‑round evaluations for SE tasks.☆15Apr 4, 2026Updated 4 months ago
- ☆17May 7, 2026Updated 2 months ago
- ☆12Jun 19, 2026Updated last month
- ☆11Oct 15, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- PocketFlow from 0 to 1 ｜ 100 行代码构建所有 LLM 应用 ｜ 首个 PocketFlow 交互式教程 ｜ 光速掌握智能体开发实战☆34May 11, 2026Updated 2 months ago
- An autonomous research agent that turns a topic into a peer-reviewed technical report☆121Jun 3, 2026Updated 2 months ago
- A curated list of awesome autonomous researcher frameworks☆145Jul 15, 2026Updated 3 weeks ago
- A curated list of awesome open source libraries to deploy, monitor, version and scale agentic applications and systems☆155Updated this week
- A curated list of awesome leaderboard-oriented resources for AI domain☆374Updated this week
- Evaluation tools for Retrieval-augmented Generation (RAG) methods.☆171Nov 18, 2024Updated last year
- Full-stack Amazon-inspired e-commerce platform built with Next.js, TypeScript, Prisma, MongoDB, and Stripe.☆22Jun 2, 2026Updated 2 months ago
- ☆184Jul 26, 2026Updated last week
- ☆18Dec 8, 2025Updated 7 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.
- ☆10Apr 17, 2024Updated 2 years ago
- ☆18Jan 10, 2026Updated 6 months ago
- ☆16Jun 19, 2026Updated last month
- ☆16Mar 31, 2026Updated 4 months ago
- Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.☆83Jul 13, 2026Updated 3 weeks ago
- Rust cross-compiler☆15Updated this week
- ☆15May 20, 2026Updated 2 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
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- F2F-AP: Flow-to-Future Asynchronous Policy for Real-time Dynamic Manipulation☆16Apr 7, 2026Updated 3 months ago
- Talk2Traffic: Interactive and Editable Traffic Scenario Generation for Autonomous Driving with Multimodal Large Language Model☆17Jun 13, 2025Updated last year
- 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☆23Jul 26, 2026Updated last week
- Official implementation of Selective Entropy Regularization (SIREN), proposed by paper 'Rethinking Entropy Regularization in Large Reason…☆32Dec 10, 2025Updated 7 months ago
- [ECCV'24] MetaWeather: Few-Shot Weather-Degraded Image Restoration☆15Sep 13, 2024Updated last year
- Code for paper: "Executing Arithmetic: Fine-Tuning Large Language Models as Turing Machines"☆11Oct 11, 2024Updated last year
- MIC-BEV: Multi-Infrastructure Camera Bird’s-Eye-View Perception Transformer for 3D Object Detection☆19Jul 5, 2026Updated last month
- Curses-based tools for Zsh, e.g. multi-word history searcher☆16Apr 15, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆18Nov 1, 2024Updated last year
- Official PyTorch implementation of "Weakly Supervised Semantic Segmentation for Driving Scenes", AAAI2024☆21Mar 16, 2025Updated last year
- ☆19Jul 25, 2026Updated last week
- ☆16Jan 18, 2025Updated last year
- LLM benchmarks☆13Feb 22, 2024Updated 2 years ago
- ☆15Jun 24, 2025Updated last year
- 基于 Vue 的 WebGIS V3.0，前端使用 OpenLayers 与 Cesium，后端使用 FastAPI。 OL 功能： 40+ 内嵌底图、基础空间分析、空间数据查看与管理； Cesium 功能： 体积云、人物漫游、淹没分析、模拟风场 …☆19Updated this week