Can LLMs be provable computers?
☆63Apr 15, 2026Updated 5 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:
- ☆18Mar 10, 2026Updated 6 months ago
- Tutorial: deploy privacy preserving application on Ztarknet☆19Nov 20, 2025Updated 9 months ago
- OpenConjecture, a dataset of mathematics conjectures pulled from papers published to the ArXiv☆20Jul 12, 2026Updated 2 months ago
- Merkle-Sum Sparse Merkle Tree (MS-SMT) in Rust☆12Apr 22, 2025Updated last year
- ☆21Dec 29, 2025Updated 8 months ago
- 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.
- Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.☆85Jul 13, 2026Updated 2 months ago
- The open-source AISI toolkit for sandboxing agentic evaluations☆35Aug 7, 2025Updated last year
- Libraries and primitives for Bitcoin, written in Zig.☆19Sep 18, 2024Updated last year
- Smart contracts, tools, and skills for AI agents that transact on Starknet☆80Updated this week
- ☆13Feb 16, 2025Updated last year
- quickly mix LLMs together☆19Jan 5, 2025Updated last year
- Compile programs to Ambients☆13May 7, 2021Updated 5 years ago
- Agent native CLI for querying ChatGPT Pro and Deep Research through your own logged-in web session, managed from your terminal.☆37Jul 31, 2026Updated last month
- STARK-based signature aggregation for Falcon and SPHINCS+☆16Mar 23, 2026Updated 5 months ago
- 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.
- Snubb - Multichain Token Approval Scanner☆20Jul 14, 2026Updated 2 months ago
- Compile programs directly into transformer weights. Includes a 2D convex-hull KV cache with O(log n) inference.☆220Jun 1, 2026Updated 3 months ago
- FRI Extended for Data Availability: a FRI-based Data Availability Sampling library, written in Rust.☆16May 12, 2025Updated last year
- AI agents running research on single-GPU nanochat training automatically☆495Mar 13, 2026Updated 6 months ago
- Madara Desktop Application☆21Nov 2, 2023Updated 2 years ago
- A Rust library for the preprocessing zkSNARK of Groth and Maller☆13Oct 29, 2024Updated last year
- ☆18Jul 13, 2024Updated 2 years ago
- ☆10Jun 8, 2023Updated 3 years ago
- Joint Embedding Predictive Architecture for World Models, written in Rust.☆31Mar 16, 2026Updated 5 months ago
- 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.
- zk hacker house taiwan project☆12Jul 16, 2026Updated last month
- Example scripts for vmux - run any command in the cloud☆42Apr 17, 2026Updated 4 months ago
- Code with CliqueFlowmer model for Optimal Computational Materials Discovery☆17Sep 6, 2026Updated last week
- ☆1,261Apr 5, 2026Updated 5 months ago
- An eBPF-based behavioral monitor for AI coding agents.☆134Mar 28, 2026Updated 5 months ago
- a set of notebooks for training llms on cairo☆32May 18, 2024Updated 2 years ago
- Starknet-based L2 on ZCash☆22Dec 15, 2025Updated 8 months ago
- Creating a Feed of MISP Events from ThreatFox (by abuse.ch)☆18Jun 2, 2021Updated 5 years ago
- Experiments to assess SPADE on different LLM pipelines.☆18Apr 7, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Rust port of c-kzg-4844☆17Jan 24, 2024Updated 2 years ago
- ☆34Mar 21, 2025Updated last year
- Advanced redux pattern for handling multiple sub dispatch, reusable middleware and scalable redux for large application.☆11Dec 12, 2018Updated 7 years ago
- ☆43Oct 21, 2025Updated 10 months ago
- The code for paper "EPO: Entropy-regularized Policy Optimization for LLM Agents Reinforcement Learning"☆40Jul 13, 2026Updated 2 months ago
- ☆15Dec 10, 2024Updated last year
- A starter for using https://frame.syndicate.io/ with Farcaster Frames☆40Feb 24, 2024Updated 2 years ago