Can LLMs be provable computers?
☆63Apr 15, 2026Updated 2 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:
- Merkle-Sum Sparse Merkle Tree (MS-SMT) in Rust☆12Apr 22, 2025Updated last year
- Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.☆79Updated this week
- Libraries and primitives for Bitcoin, written in Zig.☆19Sep 18, 2024Updated last year
- Snubb - Multichain Token Approval Scanner☆20May 6, 2025Updated last year
- Compile programs to Ambients☆13May 7, 2021Updated 5 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.
- A Vietnamese dataset of over 12 thousands questions about common disease symptoms. Perfect for researchers and developers building Vietna…☆18May 27, 2024Updated 2 years ago
- Compile programs directly into transformer weights. Includes a 2D convex-hull KV cache with O(log n) inference.☆211Jun 1, 2026Updated last month
- Minimal agent loop in bash. Pure state follower core with plugin-based tools, hooks, providers, and commands. Dependencies: bash 4+, jq, …☆160Updated this week
- Madara Desktop Application☆21Nov 2, 2023Updated 2 years ago
- ☆36Jun 10, 2025Updated last year
- Let AI agents run research experiments + train small language models (in your browser!)☆67Mar 16, 2026Updated 3 months ago
- Minimalist crate for deterministic binary encodings in Rust☆11Nov 19, 2024Updated last year
- Example for Fluid HTN☆24Nov 6, 2025Updated 8 months ago
- A fast vector database written in C.☆42Jul 6, 2026Updated last week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆10Jun 8, 2023Updated 3 years ago
- zk hacker house taiwan project☆12Mar 14, 2024Updated 2 years ago
- Experiments to assess SPADE on different LLM pipelines.☆17Apr 7, 2024Updated 2 years ago
- ☆25May 14, 2026Updated 2 months ago
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated last year
- Bitcoin light client implementation for Near Protocol☆16Jul 2, 2026Updated last week
- A public repository for Stormhalter, a Legends of Kesmai revival project.☆18Updated this week
- A clojure tool puts up an interactive viewer of the structure of a clojure project.☆50Mar 20, 2026Updated 3 months ago
- Finance Technical Indicators optimized with Numba☆11Mar 15, 2018Updated 8 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.
- A starter for using https://frame.syndicate.io/ with Farcaster Frames☆40Feb 24, 2024Updated 2 years ago
- RPC request router and proxy for Starknet, forked from Optimism proxyd.☆12Feb 26, 2024Updated 2 years ago
- ☆18Jun 10, 2026Updated last month
- Circom circuits such as SHA256, float-add and Fibonacci, developed with Circomkit.☆12Jan 27, 2024Updated 2 years ago
- A universal, trust-minimized intent settlement protocol.☆24Apr 20, 2026Updated 2 months ago
- leveldb backed mail repl.☆10May 5, 2015Updated 11 years ago
- Compiling Noir to R1CS with witness generation and automatic differentiation binaries☆23Updated this week
- Advanced redux pattern for handling multiple sub dispatch, reusable middleware and scalable redux for large application.☆11Dec 12, 2018Updated 7 years ago
- ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs☆18Apr 24, 2026Updated 2 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.
- Automate posts to BlueSky with Cloudflare Workers, Cron Triggers, Workers KV, and the Blue Sky API☆13Dec 13, 2024Updated last year
- Bitcoin trustless bridge implemented in CosmWasm contract facilitating taproot bitcoin script☆13Jun 4, 2025Updated last year
- Implementation of elastico protocol☆13Jun 12, 2019Updated 7 years ago
- ☆68Apr 8, 2026Updated 3 months ago
- JsonWebToken implementation for cairo-lang http://self-issued.info/docs/draft-ietf-oauth-json-web-token.html☆13May 30, 2022Updated 4 years ago
- Plan-first Rust continuum for certified geometry, physics simulation, optimization, and rendering.☆32Updated this week
- Bifrost Developer Docs☆14Feb 11, 2026Updated 5 months ago