deep-prove

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

• ai
• ml
• zk
• zk-snarks
• zkml

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

Related projects

Projects that share this one’s GitHub topics.

• 5,296

  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

• 229

  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

• 1,184

  Rank 1,184: postgresml/postgresml

  Postgres with GPUs for ML/AI apps.

  6,823 starsRustMITLast push Jul 1, 2025

• 1,587

  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

• 4,263

  Rank 4,263: mediar-ai/terminator

  playwright for windows computer use

  1,656 starsRustMITLast push Jun 2, 2026

• 4,633

  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