Astraly Labs

We build core infrastructure solutions on validity rollups. Join us now.

Switzerland

Pinned Repositories

astraly-contracts
Astraly Cairo Contracts
Language:Cairo39 4 612
hyperlane_starknet
Starknet implementation of the Hyperlane protocol.
Language:Cairo36 7 4918
Pragma
Pragma is the leading zk-native oracle, live on StarkNet with 20+ price feeds. Pragma makes data decentralized, transparent and composable.
Language:TypeScript83 5 4417
pragma-docs
Pragma Documentation
0 2 53
pragma-hack
Pragma Hackathon Template
Language:Cairo3 2 02
pragma-lib
Pragma Cairo SDK
Language:Cairo3 2 12
pragma-oracle
Pragma, the first provable oracle.
Language:Solidity36 3 1614
pragma-sdk
Python SDK to interact with Pragma
Language:Python4 2 545
starknet-libs
Curation of useful libs for starknet development.
42 3 04
vesu-liquidator
🧩 Liquidator Bot for the Vesu protocol.
Language:Rust74

Astraly Labs's Repositories

astraly-labs/Pragma
Pragma is the leading zk-native oracle, live on StarkNet with 20+ price feeds. Pragma makes data decentralized, transparent and composable.
Language:TypeScript83 5 4417
astraly-labs/starknet-libs
Curation of useful libs for starknet development.
42 3 04
astraly-labs/hyperlane_starknet
Starknet implementation of the Hyperlane protocol.
Language:Cairo36 7 4918
astraly-labs/pragma-oracle
Pragma, the first provable oracle.
Language:Solidity36 3 1614
astraly-labs/vesu-liquidator
🧩 Liquidator Bot for the Vesu protocol.
Language:Rust74
astraly-labs/pragma-sdk
Python SDK to interact with Pragma
Language:Python4 2 545
astraly-labs/pragma-hack
Pragma Hackathon Template
Language:Cairo3 2 02
astraly-labs/pragma-lib
Pragma Cairo SDK
Language:Cairo3 2 12
astraly-labs/Optimistic-Oracle
OO Cairo implementation
Language:Cairo2 1 30
astraly-labs/pragma-node
Pragma API
Language:Rust2 3 461
astraly-labs/pragma-x
🧩 PragmaX, a provable oracle built as a custom starknet L3, powered by Rust 🦀
Language:Rust2 1 00
astraly-labs/StarknetOpenOracle
Language:Cairo2 2 01
astraly-labs/astraly-explorer
Language:TypeScript1 3 01
astraly-labs/indexer-service
Language:Rust1 3 21
astraly-labs/OracleBenchmark
Language:Jupyter Notebook1 2 00
astraly-labs/pragma-miden
Language:Rust12
astraly-labs/astraly-protocol
On-chain reputation protocol powered by Starknet.
Language:Cairo0 2 00
astraly-labs/pragma-docs
Pragma Documentation
0 2 53
astraly-labs/Starknet-VRF
Language:Cairo0 2 10
astraly-labs/Lending-protocol
Lending protocol using Pragma (Node Guardians quest)
Language:Cairo
astraly-labs/madara
Madara is a powerful hybrid Starknet client written in Rust.
Language:Rust0 0
astraly-labs/madara-orchestrator
Language:Rust
astraly-labs/node-builder
Node builder for PUI
astraly-labs/pragma-contracts
Pragma 0 Contracts
Language:Cairo1 0
astraly-labs/pragma-hack-v2
A quickstart repository to integrate Pragma price feeds in Solidity
Language:Solidity
astraly-labs/pragma-monitoring
Pragma monitoring
Language:Rust1
astraly-labs/pragma-monorepo
Pragma V2 Monorepo
Language:Cairo2
astraly-labs/pragma-node-benchmark
Language:Python
astraly-labs/pui
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Language:Rust
astraly-labs/strk-dashboard
Language:Python