RAFT contains fundamental widely-used algorithms and primitives for machine learning and information retrieval. The algorithms are CUDA-accelerated and form building blocks for more easily writing …

A native gRPC client & server implementation with async/await support.

GitHub Actions for executing remote ssh commands.

Reconnecting WebSocket. For Web, React Native, cli (Node.js)

Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

A Solidity implementation of Halo2's Pasta curves

🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

Halo2 native field curve arithmetics

Multi-signature functionality for StarkNet

Create a Stark prover & verifier from zero

Rust implementation for zcash/pasta

derive(Error) for struct and enum error types

Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)

a simple implementation of the KZG polynomial commitment scheme

Safe, fast, small crypto using Rust

AWS SDK for the Rust Programming Language

Hello World AVS

Ray is a unified framework for scaling AI and Python applications. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.

Generic binary BCH encoding/decoding library

BCH library C Python module

Prevents you from committing secrets and credentials into git repositories

GitHub Action to setup `ssh-agent` with a private key

An RPC framework for Rust with a focus on ease of use.