Explore @starkware-libs Open Source projects

StarkWare Libs (@starkware-libs)

starkware-libs

Stars
5,236
Global Org. Rank 4,409 (Top 2 %)
Registered almost 5 years ago
Most used languages

Rust
24.2 %

Python
18.2 %

JavaScript
12.1 %

Cairo 12.1 %

C++
9.1 %

TypeScript
6.1 %

Solidity
6.1 %

Shell
6.1 %

HTML
3.0 %

Lean 3.0 %

cairo

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

cairo-lang

papyrus

Papyrus is a StarkNet full node written in Rust.

starkex-contracts

stone-prover

stwo

ethSTARK

blockifier

Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.

starknet-specs

starkex-resources

veedo

starknet-staking

starknet-staking

starkgate-frontend

Bridge interface allows users to transfer ERC20 tokens from Ethereum to StarkNet and vice versa.

starknet-api

starkware-crypto-utils

Signatures, keys and Pedersen hash on STARK friendly elliptic curve

formal-proofs

stark-perpetual

starkgate-contracts

crypto-cpp

starkex-js

JavaScript SDK for StarkEx

starkex-for-spot-trading

cairo-examples

stwo-cairo

sequencer

starkex-core

mempool

starkex-data-availability-committee

tree-sitter-cairo

starknet-snap

StarkNet-AllCoreDevs-Meetings

starkex-apps-api

starkex-playground

okx-config

cairo-playground

Playground environment for those who want to learn and get to know Cairo language better.

davion-config

DavionLabs Perpetual StarkEx Configuration

starkex-resources-wip

starknet-tutorials-erc20

starknet-addresses

starknet-tutorials-global

committer

stwo-air-schema

starknet-tutorials-erc721

dydx-config

starknet-tutorials-cairo-syntax

gammax-config

GammaX Perpetual StarkEx Configuration

starknet-tutorials-utils

x10-config

karpenter