Minimalist, fast and modular implementation of the Lean Ethereum client written in Rust

AI-powered workflow automation and AI Agents platform for AppSec, Fuzzing & Offensive Security. Automate vulnerability discovery with intelligent fuzzing, AI-driven analysis, and a marketplace of s…

TLS 1.3/1.2 client and TLS 1.3 server in Zig

Date and time library for Rust

Commonware Library Primitives and Examples

A markdown terminal slideshow tool

EigenLayer Rust Developer Tooling

Support for async syntax for actix

Minimalist, fast and modular implementation of the Ethereum protocol in Rust. L1 and L2 execution client.

The proof systems used by Mina

Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.

Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum

cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to anothe…

An ABI compatible for KZG EIP-4844 in Rust

The Modular Platform (includes MAX & Mojo)

A high-performance, zero-overhead, extensible Python compiler with built-in NumPy support

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

A Rust library for the Marlin preprocessing zkSNARK

Comisión Curricular de Ingeniería en Informática FIUBA

Mix async code with CPU-heavy thread pools using Tokio + Rayon

A snapshot testing library for rust

📚 A curated list of papers for Software Engineers

LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!

Resumes generated using the GitHub informations

web development for the rest of us