Manuel Mauro's starred repositories

jolt

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

Language:RustLicense:MITStargazers:597Issues:0Issues:0

finite-wasm

Cheating a little to solve the halting problem at scale

Language:WebAssemblyLicense:Apache-2.0Stargazers:22Issues:0Issues:0

rbpf

Rust virtual machine and JIT compiler for eBPF programs

Language:RustLicense:Apache-2.0Stargazers:875Issues:0Issues:0

EmuDeck

Emulator configurator for Steam Deck

Language:ShellLicense:GPL-3.0Stargazers:2762Issues:0Issues:0

zksync-cli

CLI tool that simplifies zkSync development

Language:TypeScriptLicense:MITStargazers:155Issues:0Issues:0
Language:RustLicense:Apache-2.0Stargazers:661Issues:0Issues:0

cliclack

Beautiful, minimal, opinionated CLI prompts inspired by the Clack NPM package

Language:RustLicense:MITStargazers:177Issues:0Issues:0

quinn

Async-friendly QUIC implementation in Rust

Language:RustLicense:Apache-2.0Stargazers:3628Issues:0Issues:0

hash-based-snargs-book

Source code for "Building Cryptographic Proofs from Hash Functions"

Language:TeXStargazers:131Issues:0Issues:0

awesome-plonk

A curated list of awesome things related to plonk proof system

License:MITStargazers:221Issues:0Issues:0

heapless

Heapless, `static` friendly data structures

Language:RustLicense:Apache-2.0Stargazers:1463Issues:0Issues:0

postcard

A no_std + serde compatible message library for Rust

Language:RustLicense:Apache-2.0Stargazers:790Issues:0Issues:0

sshx

Fast, collaborative live terminal sharing over the web

Language:RustLicense:MITStargazers:5635Issues:0Issues:0

dirs-rs

a low-level library that provides config/cache/data paths, following the respective conventions on Linux, macOS and Windows

Language:RustLicense:Apache-2.0Stargazers:644Issues:0Issues:0

vrf-rs

Verifiable Random Function (VRF) library written in Rust

Language:RustLicense:MITStargazers:91Issues:0Issues:0

revm

Ethereum Virtual Machine written in rust that is fast and simple to use

Language:RustLicense:MITStargazers:1502Issues:0Issues:0

foundry-rust-template

Template for quickly getting started with developing Rust applications that leverage Foundry for EVM smart contract development

Language:RustStargazers:230Issues:0Issues:0

rust-pretty-assertions

Overwrite `assert_eq!` with a drop-in replacement, adding a colorful diff.

Language:RustLicense:Apache-2.0Stargazers:1149Issues:0Issues:0

rexpect

Rust port of pexpect

Language:RustLicense:MITStargazers:317Issues:0Issues:0

assert_cmd

Assert process::Command - Easy command initialization and assertions

Language:RustLicense:Apache-2.0Stargazers:447Issues:0Issues:0

rpassword

Cross platform Rust library to read a password in the terminal (Linux, BSD, OSX, Windows, WASM).

Language:RustLicense:Apache-2.0Stargazers:238Issues:0Issues:0

sovereign-sdk

A framework for building seamlessly scalable and interoperable rollups that can run on any blockchain

Language:RustLicense:Apache-2.0Stargazers:353Issues:0Issues:0
Language:RustLicense:Apache-2.0Stargazers:65Issues:0Issues:0
Language:RustLicense:Apache-2.0Stargazers:745Issues:0Issues:0

camino

Like Rust's std::path::Path, but UTF-8.

Language:RustLicense:Apache-2.0Stargazers:411Issues:0Issues:0

ZoKrates

A toolbox for zkSNARKs on Ethereum

Language:RustLicense:LGPL-3.0Stargazers:1784Issues:0Issues:0

foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Language:RustLicense:Apache-2.0Stargazers:7923Issues:0Issues:0

alloy

Transports, Middleware, and Networks for the Alloy project

Language:RustLicense:Apache-2.0Stargazers:473Issues:0Issues:0

ethers-rs

Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers

Language:RustLicense:Apache-2.0Stargazers:2440Issues:0Issues:0

yargs

yargs the modern, pirate-themed successor to optimist.

Language:JavaScriptLicense:MITStargazers:11004Issues:0Issues:0