The Ethereum extension for Postgres.

A massively parallel, high-level programming language

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

Book for rehabilitative coders 📚

gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledg…

The fastest, most feature-complete zkVM for developers.

Empowering everyone to build reliable and efficient software.

Implementation of zero-knowledge proof circuits for Tendermint.

Nix, the purely functional package manager

Simplified nix packaging for various programming language ecosystems [maintainer=@DavHau]

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

treefmt nix configuration

🚰 CØSMOS Faucet backend implementation

GitHub Action for using the nixbuild.net service

Static analysis for Substrate based projects

[alpha] Build Rust crates with Nix Build System.

Picasso Kusama and Composable Polkadot parachains

Experimental Dhall to EVM compiler

An arbitrary-precision arithmetic library for Rust.

POC State - Code quality and static analysis for CosmWasm based projects

Rust types in Python. https://justforfunnoreally.dev/

Run Rust lints from dynamic libraries

Crev proof repository

Substrate: The platform for blockchain innovators

Fork your substrate-based blockchain state and run all kinds of simulation tests on the runtime.

Run Wasm Light Clients of any Substrate based chain directly in your browser.

Generate Bazel BUILD from Cargo dependencies!

A sandbox to run and debug smart contracts for FRAME Contracts pallet and also a sandbox framework for Substrate runtime.

READONLY: Auto-generated mirror for https://github.com/marvinpinto/actions/tree/master/packages/automatic-releases