☆92Oct 15, 2026Updated this week
Alternatives and similar repositories for prove2me_workspace
Users that are interested in prove2me_workspace are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆23Mar 16, 2026Updated 7 months ago
- Qwen3.8-Flash-Next (NVFP4) on DGX Spark in vLLM: one Spark 43.9 tok/s with our disk-backed n-gram table patch, staged gather and reduced-…☆128Sep 7, 2026Updated last month
- This repository provides a starter kit for sports intelligence built on NVIDIA AI stack: playbooks, training recipes, and inference for M…☆68Oct 2, 2026Updated 2 weeks ago
- Results for the lean-eval benchmark (https://github.com/leanprover/lean-eval)☆28Oct 7, 2026Updated last week
- An 18 notebook course that isolates and measures each component of agentic loop engineering on real, industry standard software datasets.☆59Jun 29, 2026Updated 3 months 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.
- ☆70Aug 4, 2026Updated 2 months ago
- ☆268Sep 8, 2026Updated last month
- Moonshine: autonomous mathematical exploration, from the first step to the farthest horizon.☆41Sep 7, 2026Updated last month
- Lean certificates accompanying Navier-Stokes and Euler results☆2,101Sep 10, 2026Updated last month
- Research draft of a candidate proof of Crouzeix's conjecture☆535Aug 16, 2026Updated 2 months ago
- ☆40Sep 26, 2026Updated 3 weeks ago
- Use the standalone qiaomu-bento-ppt skill to create or edit qiaomu-style bento presentations as self-contained .bento.html files from bri…☆128Jul 27, 2026Updated 2 months ago
- Keep private data, internal infrastructure and secrets out of cloud coding agents without breaking your workflow.☆56Oct 8, 2026Updated last week
- Safe automatic permissions for DeepSeek Harness.☆164Sep 29, 2026Updated 2 weeks 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.
- A wiki app to supercharge human/agent collaboration. A self-updating knowledge base.☆45Aug 26, 2026Updated last month
- Profile repo — categorized index of NVFP4 model releases, DGX Spark inference stacks, Apple Silicon MLX builds, the voice-AI stack, and t…☆41Oct 6, 2026Updated last week
- A high-performance communication library for machine learning training and inference on Huawei Ascend NPUs.☆260Sep 30, 2026Updated 2 weeks ago
- Structural overview of a repository: every non-ignored file as a read-only panel on a zoomable canvas☆82Oct 6, 2026Updated last week
- An embodied task agent that connects perception, action, verification, and learning in a continuous physical-world loop☆203Updated this week
- Official implementation for "NADER: Neural Architecture Design via Multi-Agent Collaboration" (CVPR2025)☆15Aug 12, 2025Updated last year
- CodeGrok MCP is a Model Context Protocol (MCP) server that enables AI assistants to intelligently search and understand codebases using s…☆15Mar 15, 2026Updated 7 months ago
- Wemux - self-hostable AI agent collaboration platform (Apache-2.0, community edition)☆163Updated this week
- 🐾 Complete REST API for ClawHub skills marketplace data☆15Apr 6, 2026Updated 6 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.
- ☆31Apr 3, 2026Updated 6 months ago
- Zing-0.5: Toward Playable Worlds with Real-Time Joint Action and Text Control☆170Sep 17, 2026Updated last month
- ☆302Oct 6, 2026Updated last week
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8 and 24.☆73Apr 7, 2026Updated 6 months ago
- ☆91Sep 25, 2026Updated 3 weeks ago
- Self-improving Codex loop: DeepSeek runs the task, Luna grades it, Sol rewrites the prompt until it is done☆47Sep 16, 2026Updated last month
- Reproduction code for Lattice Deduction Transformers☆42Updated this week
- Passive Flock Safety camera detector for the ESP32-2432S028R (Cheap Yellow Display). Receive-only WiFi/BLE detection with touchscreen UI.☆63Sep 5, 2026Updated last month
- An end to end implementation of Graph Engineering as proposed by Andrew NG and Peter Steinberger☆84Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A training-free multi-agent framework for recursive self-improvement in new environments through broad-then-deep autonomous exploration a…☆532Oct 2, 2026Updated 2 weeks ago
- A community driven list of open source alternatives to proprietary software and applications.☆50Jul 28, 2026Updated 2 months ago
- ☆21Dec 3, 2024Updated last year
- dots3 note preview☆145Aug 14, 2026Updated 2 months ago
- Turn an approved product design, PRD, prototype, design system, or architecture brief into an AI-governed, deployable full-stack project …☆29Oct 5, 2026Updated last week
- This repository hosts the SAIR Mathematics Distillation Challenge: Equational Theories Stage 2, providing Lean 4 problem sets, judging to…☆26Aug 27, 2026Updated last month
- ☆13May 21, 2022Updated 4 years ago