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

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

Cryptocurrency Exchange REST API SDK Wrapper Implemented With the golang, Supporting OKX, Binance

Open source agentic operating system

⚙️🦀 Build modular and scalable LLM Applications in Rust

Filecoin Full Node Implementation in Go

The Parity Polkadot Blockchain SDK

Substrate: The platform for blockchain innovators

The Go programming language

Reference implementation of the Filecoin protocol, written in Go