Mango Network is a Layer1 blockchain based on the Dpos consensus mechanism and supported by Move to build a transaction-based omni-chain infrastructure network.

Streamline your Galxe tasks with the Galxe AutoComplete Tasks script – efficiency at your fingertips!

fhEVM hardhat template

Autonomous agents for everyone

Go port of Coda Hale's Metrics library

$DEGEN v2 Frame

Resources for learning Noir from ZKCamp's Aztec Course

A repo of example Noir projects.

Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0

Experimental folding schemes library

This is an open source backend for the ACIR standard as implemented in the Noir programming languaje, written in Rust

A mutation testing CLI tool built in Rust. Currently supports Noir as a target language

Extracting the semantics of Noir to Lean for formal verification

Tooling for creating collaborative SNARKs for Circom and Noir circuits.

Develop Noir with Hardhat without hassle.

Swoir is a Swift package for creating and verifying zero-knowledge Noir proofs.

bignum

A curated list of awesome things related to learning and programming in Noir.

The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.

Open source code for the paper: HDEE: Heterogeneous Domain Expert Ensemble

Open source code for the paper: SkipPipe: Partial and Reordered Pipelining Framework for Training LLMs in Heterogeneous Networks

Decentralized deep learning in PyTorch. Built to train models on thousands of volunteers across the world.

A fully open source framework for creating RL training swarms over the internet.