Skip to content
@astraly-labs

Astraly Labs

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

Pinned Loading

  1. Pragma Pragma Public

    Pragma is the leading zk-native oracle, live on StarkNet with 20+ price feeds. Pragma makes data decentralized, transparent and composable.

    TypeScript 83 17

  2. pragma-sdk pragma-sdk Public

    Python SDK to interact with Pragma

    Python 4 5

  3. pragma-oracle pragma-oracle Public

    Pragma, the first provable oracle.

    Solidity 36 14

  4. pragma-hack pragma-hack Public template

    Pragma Hackathon Template

    Cairo 3 2

  5. pragma-docs pragma-docs Public

    Pragma Documentation

    3

Repositories

Showing 10 of 32 repositories
  • pragma-sdk Public

    Python SDK to interact with Pragma

    astraly-labs/pragma-sdk’s past year of commit activity
    Python 4 5 13 (2 issues need help) 2 Updated Dec 26, 2024
  • pragma-lib Public

    Pragma Cairo SDK

    astraly-labs/pragma-lib’s past year of commit activity
    Cairo 4 MIT 2 1 0 Updated Dec 24, 2024
  • pragma-oracle Public

    Pragma, the first provable oracle.

    astraly-labs/pragma-oracle’s past year of commit activity
    Solidity 36 MIT 14 6 (1 issue needs help) 2 Updated Dec 20, 2024
  • pragma-docs Public

    Pragma Documentation

    astraly-labs/pragma-docs’s past year of commit activity
    0 MIT 3 3 0 Updated Dec 20, 2024
  • pui Public Forked from MystenLabs/sui

    Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

    astraly-labs/pui’s past year of commit activity
    Rust 0 Apache-2.0 13,078 1 0 Updated Dec 19, 2024
  • pragma-monitoring Public

    Pragma monitoring

    astraly-labs/pragma-monitoring’s past year of commit activity
    Rust 0 2 5 0 Updated Dec 18, 2024
  • hyperlane_starknet Public

    Starknet implementation of the Hyperlane protocol.

    astraly-labs/hyperlane_starknet’s past year of commit activity
    Cairo 36 MIT 18 11 (5 issues need help) 1 Updated Dec 17, 2024
  • pragma-miden Public
    astraly-labs/pragma-miden’s past year of commit activity
    Rust 1 MIT 2 6 0 Updated Dec 10, 2024
  • vesu-liquidator Public

    🧩 Liquidator Bot for the Vesu protocol.

    astraly-labs/vesu-liquidator’s past year of commit activity
    Rust 7 MIT 4 4 (1 issue needs help) 7 Updated Dec 8, 2024
  • pragma-node Public

    Pragma API

    astraly-labs/pragma-node’s past year of commit activity
    Rust 2 MIT 3 19 2 Updated Dec 7, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…