Substrate: The platform for blockchain innovators

Rust Bitcoin library

The Parity Polkadot Blockchain SDK

A refreshingly simple data-driven game engine built in Rust

A high-level API for programmatically interacting with web pages through WebDriver.

Fullstack app framework for web, desktop, mobile, and more.

Nova: Recursive SNARKs without trusted setup

Experimental folding schemes library

A scalable, distributed, collaborative, document-graph database, for the realtime web

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

A toolkit for polynomial IOPs (PIOPs)

A web crawler and scraper for Rust

The fastest, most feature-complete zkVM for developers.

Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.

TLS/SSL and crypto library

This document describes the Distributed Aggregation Protocol (DAP) being developed by the PPM working group at IETF.

C library for prototyping and experimenting with quantum-resistant cryptography

Rosenpass is a post-quantum-secure VPN that uses WireGuard to transport the actual data.

Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.

Rust Post-Quantum cryptography

Migrate C code to Rust

The JAM Specification

PHP Static Analysis Tool - discover bugs in your code without running it!

An open-source Mathematica. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbol, a parser to create Expressions, and an evaluator to execu…

Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.

This repository contains compatibility data for Web technologies as displayed on MDN

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

zkSync era

Lightweight client for Substrate-based chains, such as Polkadot and Kusama.

Rust library for OpenAI