Stars
A model checker for implementing distributed systems.
Run all your local AI together in one package - Ollama, Supabase, n8n, Open WebUI, and more!
All the open source AI Agents hosted on the oTTomator Live Agent Studio platform!
Kheish: A multi-role LLM agent for tasks like code auditing, file searching, and more seamlessly leveraging RAG and extensible modules.
Tools for lattice node manipulation and representation.
Concrete ML: Privacy Preserving ML framework using Fully Homomorphic Encryption (FHE), built on top of Concrete, with bindings to traditional ML frameworks.
A wargame centered on securing the Polkadot SDK ecosystem, offering an array of missions for participants to navigate and conquer.
Feature rich WhatsApp Client for Desktop Linux
LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
Cairo bootloader port for the Rust Cairo VM.
Cairo1 execution in Cairo0 environment
An open-source, cross-platform terminal for seamless workflows
A STARK provable modular framework executing user-defined logic on multi-chain data in Cairo general purpose ZKVM.
How to download & install qemu a toolchain suitable for building and running freestanding RISC-V C/C++ programs
The papers and books I've read or am about to read.
Shared peer-to-peer network of zero-knowledge provers
This is the repository to try out different SNARK systems
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
A STARK-based VM focused on code reuse, performance, and modularity
Zero Knowledge based Ethereum Virtual Machine in Circom language
Integrating Stone Prover's generated proofs with the Cairo0 verifier
Adapt your STARK stone proofs for verifications on Ethereum
🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs
Chromium fork named after radioactive element No. 90. Windows and MacOS/Raspi/Android/Special builds are in different repositories, links are towards the top of the README.md.
Rust implementation of the Modified Patricia Tree (aka Trie).
Vehicle counting/tracking and speed estimation
Dead simple implementation of Discrete Kalman filter for object tracking purposes