-
distributed-llama Public
Forked from b4rtaz/distributed-llamaDistributed LLM inference. Connect home devices into a powerful cluster to accelerate LLM inference. More devices means faster inference.
C++ MIT License UpdatedDec 4, 2025 -
-
xword-dl Public
Forked from thisisparker/xword-dl▞ Command line tool to scrape crosswords from online solvers and save them as .puz files ▚
Python MIT License UpdatedOct 29, 2025 -
Plonky3-recursion Public
Forked from Plonky3/Plonky3-recursionPlonky3 native support for uni-stark recursion... and more
Rust Apache License 2.0 UpdatedOct 20, 2025 -
cryptist-2025-inference Public
Methods for Verifiable & Private Inference
-
polenta Public
A toy language to play around with polynomials over finite fields.
-
serde-txtrecord Public
A serde implementation for DNS TXT records, especially useful with mDNS.
Rust MIT License UpdatedAug 12, 2025 -
circomkit Public
A testing & development environment for Circom.
-
noir-tckn Public
Verify Turkish ID number validity with Noir.
-
awesome-akash Public
Forked from akash-network/awesome-akashAwesome List of Akash Deployment Examples
C# Apache License 2.0 UpdatedJun 1, 2025 -
-
circom101 Public
Circom arithmetic circuits and concepts explained, in depth.
-
noirlings Public
Forked from raven-house/noirlingsAn interactive tutorial to get you up and running with Noir
Noir MIT License UpdatedMay 11, 2025 -
rustconnect-libp2p Public
Libp2p & FFI for Rust Connect #1
-
ollama-workflows Public
Created for personal use, it’s a simple, easy-to-read ReAct (agent) framework on top of Ollama. I found agent libraries extremely abstract, while all we need are clear workflows and prompts.
-
rig Public
Forked from 0xPlaygrounds/rig⚙️🦀 Build portable, modular & lightweight Fullstack Agents
Rust MIT License UpdatedApr 24, 2025 -
Orca-c Public
Forked from hundredrabbits/Orca-cLive Programming Environment(C Port)
C MIT License UpdatedApr 16, 2025 -
toploc Public
Forked from PrimeIntellect-ai/toplocTOPLOC: is a novel method for verifiable inference that enables users to verify that LLM providers are using the correct model configurations and settings
Python MIT License UpdatedApr 14, 2025 -
rust-magic-patterns Public
Forked from alexpusch/rust-magic-patternsMagical Rust patterns laid out and simplified
Rust UpdatedApr 13, 2025 -
crypto-notes Public
My notes related to Cryptography & Zero-Knowledge.
-
lambdaworks Public
Forked from lambdaclass/lambdaworkslambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
-
circomkit-ffi Public
A Rust-based shared library for alternative prover backends.
-
icicle-snark Public
Forked from ingonyama-zk/icicle-snarkGroth16 over ICICLE
Circom MIT License UpdatedMar 30, 2025 -
rust-libp2p Public
Forked from libp2p/rust-libp2pThe Rust Implementation of the libp2p networking stack.
Rust MIT License UpdatedMar 24, 2025 -
aligned-vnns Public
Verifiable nearest-neighbor search with Aligned Layer & SP1.
-
witnesscalc_adapter Public
Forked from zkmopro/witnesscalc_adapterRust adapter for 0xPolygonID/witnesscalc for any circuit
Rust UpdatedFeb 25, 2025 -
circom-compat Public
Forked from arkworks-rs/circom-compatArkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
Rust Apache License 2.0 UpdatedFeb 25, 2025 -
-
-
exo Public
Forked from exo-explore/exoRun your own AI cluster at home with everyday devices 📱💻 🖥️⌚
Python GNU General Public License v3.0 UpdatedFeb 18, 2025