firstbatchxyz / dria-dockerLinks
All-in-one environment to use Dria, the collective knowledge for AI.
☆12Updated last year
Alternatives and similar repositories for dria-docker
Users that are interested in dria-docker are comparing it to the libraries listed below
Sorting:
- Evaluation repository of wikipedia index with Dria☆10Updated last year
- ☆14Updated last year
- Cross-platform launcher for Dria Compute Node.☆40Updated last month
- Python SDK for FirstBatch: Real-time personalization using vectorDBs☆17Updated last year
- Dria SDK is for building and executing synthetic data generation pipelines on Dria Knowledge Network.☆28Updated 6 months ago
- ZK Theorem Proving☆10Updated last year
- The entry point for Rust projects to be run on Valida☆10Updated 6 months ago
- A somehow lock-free multi-agent coordination layer.☆46Updated this week
- TOPLOC: is a novel method for verifiable inference that enables users to verify that LLM providers are using the correct model configurat…☆47Updated 5 months ago
- GPU-acceselerated cryptography libraries for ZKsync☆20Updated 2 weeks ago
- An API compatible port of the Stone prover.☆19Updated 11 months ago
- peer-to-peer compute and intelligence network that enables decentralized AI development at scale☆126Updated 2 months ago
- Solidity contracts for the decentralized Prime Network protocol☆27Updated 3 months ago
- ☆16Updated 10 months ago
- Herodotus Data Processor using SP1 as backend☆16Updated 11 months ago
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆19Updated 6 months ago
- Foundation for speedy Machine Learning operations in Halo2 Prover☆20Updated last year
- Generates zero-knowledge proofs of Ethereum smart contract execution.☆40Updated this week
- This is the monorepo for the Succinct Prover Network, a protocol on Ethereum that coordinates a distributed network of provers to generat…☆46Updated this week
- One-click toolkit for provisioning servers to deploy and serve Large Language Models (LLMs).☆61Updated last year
- A mutation testing CLI tool built in Rust. Currently supports Noir as a target language☆12Updated 10 months ago
- High performance EraVM for zkSync.☆23Updated 5 months ago
- An observatory fork of SP1☆75Updated 8 months ago
- Starter examples for deploying to Infernet.☆49Updated 9 months ago
- ☆22Updated 4 months ago
- Minimal Merkle Tree implementations☆31Updated 4 months ago
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Updated last year
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆16Updated 2 weeks ago
- Source, toolchain, and examples for using programs on Entropy☆20Updated 6 months ago
- Asynchronous P2P communication backend for decentralized pipeline parallelism☆36Updated 4 months ago