Rank #2,351 3,352 starsRust

deep-prove

by Lagrange-Labs (organization)

Framework to prove inference of ML models blazingly fast (description from the project’s GitHub page)

Repository facts

Stars: 3,352
Forks: 102
Open issues and pull requests: 23
Primary language: Rust
License: Other license
Owner: Lagrange-Labs · Organization
Created: Nov 7, 2024
Last push: May 31, 2026

Topics

Rank #2,351 of 9,507 in AI on GitHub, by stars. Data from the GitHub API, fetched Oct 18, 2026; star counts change daily. Stars measure popularity, not quality or safety, and a listing is not an endorsement. How this list is made

Add this badge to your README

Ranked #2,351 in AI on GitHub Shows this repository’s rank in AI on GitHub and links back to this page. Ranks are by stars and change when the list is refreshed. The badge is not an endorsement or a rating. About the badges

Markdown (for a README)

[![Ranked #2,351 in AI on GitHub](https://unitedstatesofamericasuperintelligence.com/badges/github/lagrange-labs--deep-prove.svg)](https://unitedstatesofamericasuperintelligence.com/github/lagrange-labs--deep-prove/)

HTML

<a href="https://unitedstatesofamericasuperintelligence.com/github/lagrange-labs--deep-prove/"><img src="https://unitedstatesofamericasuperintelligence.com/badges/github/lagrange-labs--deep-prove.svg" alt="Ranked #2,351 in AI on GitHub" height="20"></a>

Projects that share this one’s GitHub topics.

Rank 5,296: zkonduit/ezkl
ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.
1,232 starsRustNo license file detectedLast push Feb 20, 2026
Rank 229: zeroclaw-labs/zeroclaw
Fast, small, and fully autonomous AI personal assistant infrastructure, any OS, any platform — deploy anywhere, swap anything 🦀
32,992 starsRustApache-2.0Last push Oct 18, 2026
Rank 1,184: postgresml/postgresml
Postgres with GPUs for ML/AI apps.
6,823 starsRustMITLast push Jul 1, 2025
Rank 1,587: huggingface/text-embeddings-inference
A blazing fast inference solution for text embeddings models
5,083 starsRustApache-2.0Last push Oct 13, 2026
Rank 4,263: mediar-ai/terminator
playwright for windows computer use
1,656 starsRustMITLast push Jun 2, 2026
Rank 4,633: postgresml/korvus
Korvus is a search SDK that unifies the entire RAG pipeline in a single database query. Built on top of Postgres with bindings for Python, JavaScript, Rust and C.
1,471 starsRustMITLast push Jan 31, 2025

Repository facts

Topics

Add this badge to your README

Related projects

Rank 5,296: zkonduit/ezkl

Rank 229: zeroclaw-labs/zeroclaw

Rank 1,184: postgresml/postgresml

Rank 1,587: huggingface/text-embeddings-inference

Rank 4,263: mediar-ai/terminator

Rank 4,633: postgresml/korvus

Support Us