Can LLMs be provable computers?
☆65Apr 15, 2026Updated 6 months ago
Alternatives and similar repositories for llm-provable-computer
Users that are interested in llm-provable-computer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆19Mar 10, 2026Updated 8 months ago
- Just a Chess game with some Cairo on top☆16Oct 18, 2023Updated 3 years ago
- OpenConjecture, a dataset of mathematics conjectures pulled from papers published to the ArXiv☆19Jul 12, 2026Updated 4 months ago
- Get up and running with Kimi-K2.5, GLM-4.7, DeepSeek, gpt-oss, Qwen, Gemma and other models.☆37Oct 26, 2026Updated 2 weeks ago
- ☆22Dec 29, 2025Updated 10 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Smart contracts, tools, and skills for AI agents that transact on Starknet☆80Updated this week
- Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.☆92Jul 13, 2026Updated 4 months ago
- Sensei MCP is a Model Context Protocol (MCP) server that provides expert guidance for Dojo and Cairo development on Starknet.☆13Jun 30, 2025Updated last year
- An open protocol for distributed multi-agent autoformalization.☆118Oct 18, 2026Updated 3 weeks ago
- Natural-language constraints for JEPA world-model planning, judged by a decision model instead of an LLM.☆16Sep 24, 2026Updated last month
- quickly mix LLMs together☆19Jan 5, 2025Updated last year
- Git-compatible, agent-native, repairable, self-hostable code forge and GitHub alternative.☆49Updated this week
- Distributed multi-agent framework for event-driven, graph-based computation. Elixir/Python, NATS event streaming, modular operator/XCS ar…☆14Mar 25, 2026Updated 7 months ago
- Compile programs directly into transformer weights. Includes a 2D convex-hull KV cache with O(log n) inference.☆245Updated this week
- 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.
- MIST.cash SDK for integrating private payments into your project☆13Nov 5, 2026Updated last week
- Applying the Chinese Wall Reverse Engineering Technique to Large Language Model Code Editing☆12Aug 2, 2025Updated last year
- Madara Desktop Application☆21Nov 2, 2023Updated 3 years ago
- 🍄🟫 Git-native tickets, notes, and code review☆23Jul 30, 2026Updated 3 months ago
- Universal Transformer with Memory Tokens. Pure JAX NNX. TPU-ready.☆13May 12, 2026Updated 6 months ago
- WARNING: This repository is no longer maintained This repository will not be updated. The repository will be kept available in read-only…☆14May 26, 2019Updated 7 years ago
- ☆18Jul 13, 2024Updated 2 years ago
- My Submission for the Eth-Tokyo Hackathon☆12May 16, 2023Updated 3 years ago
- Monorepo for Kosu (濾す). Includes network client, solidity contracts, and supporting libraries/tooling.☆16Dec 11, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Example scripts for vmux - run any command in the cloud☆42Apr 17, 2026Updated 6 months ago
- A developer's guide to building dapps on Fuel.☆14Sep 15, 2022Updated 4 years ago
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Jul 27, 2023Updated 3 years ago
- ☆38Aug 19, 2026Updated 2 months ago
- VitePlus + SvelteKit starter template☆11Updated this week
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated 2 years ago
- Code with CliqueFlowmer model for Optimal Computational Materials Discovery☆17Nov 2, 2026Updated last week
- Experimental contracts that test the details of Solidity, attempting to discover optimal use cases☆14Apr 14, 2026Updated 7 months ago
- A high performance development and dispatch library for high-performance machine learning kernels.☆38Aug 15, 2026Updated 3 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.
- Linear Programming for Weight-Space Programming☆43Updated this week
- Rust port of c-kzg-4844☆17Jan 24, 2024Updated 2 years ago
- ☆13Jun 29, 2026Updated 4 months ago
- Implementing the Accord.NET Machine Learning library in NinjaTrader☆12Feb 11, 2021Updated 5 years ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆53Aug 6, 2022Updated 4 years ago
- MCP server for interacting with Bluesky☆10Apr 8, 2025Updated last year
- Augmented Reality for ADS-B☆15Nov 5, 2026Updated last week
Are these results useful?