Fast and multi-platform Spotify client with native GUI

a structural diff that understands syntax 🟥🟩

Build fast web applications with Rust.

A safe and fast multi-producer, multi-consumer channel.

A safe, extensible ORM and Query Builder for Rust

A blazingly fast general purpose blockchain analytics engine specialized in systematic mev detection

A next-generation test runner for Rust.

Cross-platform WebView library in Rust for Tauri.

Easy autofixable import sorting.

Blazing fast concurrent HashMap for Rust.

cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes

Rust Uint crate using const-generics

Cronos zkEVM is a Layer2 blockchain network using ZK Stack, launched in a partnership between Cronos Labs and engineering teams from Matter Labs (the team behind ZKsync), Crypto.com, VVS Finance, F…

Boilerplate for Cronos dapp

openbook-v2 monorepo, contains solana program and ts client

mango-v4 monorepo, contains program, ts client, and py client

⚓ Solana Sealevel Framework

Solidity library for advanced fixed-point math

Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)

zkSync: trustless scaling and privacy engine for Ethereum

The Halo2 zero-knowledge proving system

A pure Rust PLONK implementation using arkworks as a backend.

STARK-based virtual machine

The fastest, most feature-complete zkVM for developers.

Public repository for Abstact Algebra Theory and Applications

Cairo is the first Turing-complete language for creating provable programs for general computation.

linear-time sumcheck protocol for multilinear polynomials and related addends

R1CS constraints for bits, fields, and elliptic curves

Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them