mr-abims
Follow
Lists (6)
Starred repositories
Rust Implementation of the Raft distributed consensus protocol (https://raft.github.io)
A lightweight real-time data streaming engine with an expressive DSL for Ethereum & The Superchain.
Collection of awesome LLM apps with RAG using OpenAI, Anthropic, Gemini and opensource models.
ethrex: Ethereum Rust Execution L1 and L2 client.
Handwritten notes of all the subjects in GATE CSE.
DSPy: The framework for programming—not prompting—language models
Cashu Protocol ZK engine. Blind Diffie-Hellmann Key Exchange (BDHKE) implementation in Cairo.
zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the…
A self-paced course to learn Rust, one exercise at a time.
A collection of (mostly) technical things every software developer should know about
A document designed to explain fault proof from multiple perspectives, aimed at quickly bringing newcomers up to speed on the mechanisms of fault proof and its specific code details.
A collection of ZK light client libraries for various blockchains
A curated list of Artificial Intelligence (AI) courses, books, video lectures and papers.
A curated list of multi party computation resources and links.
Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.