Stellar Python Packages

stellar-sdk

Stellar client library for the Python language

105K 368 177

certora-cli

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

55K 302 37

certora-cli-alpha-master

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

42K 302 37

certora-cli-beta

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

13K 302 37

certora-cli-beta-mirror

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

11K 302 37

pysme-astro

Python wrapper for Spectroscopy Made Easy

10K 3 0

vplanet

The virtual planet simulator

8K 160 58

stellar-observatory

Python package for analyzing the Stellar network

2K 14 5

django-polaris

An extendable Django server for Stellar Ecosystem Proposals.

1K 97 72

stellar-model

Parse the raw Stellar data into Python models.

935 15 6

certora-cli-alpha-oz-publish-test

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

928 302 37

kin-sdk

KIN SDK for Python

791 26 11

strledger

Ledger Hardware Wallet Stellar Python bindings.

651 0 0

soroban

API and CLI for Soroban contracts in Python

535 7 2

stellar-base

Stellar client library for the Python language

483 368 177

web3data

A Python library for the amberdata.io API

338 9 2

certora-cli-alpha-rahav-cert-9297-formatter-publish

Runner for the Certora Prover

322 302 37

stellar-contract-bindings

CLI tool designed to generate language bindings for Stellar Soroban smart contracts.

249 10 2

xdrparser

Xdr parser for Kin's history files

233 2 1

certora-cli-alpha-oz-license

Runner for the Certora Prover

228 302 37

stelspec

A python package for retrieving and analysing stellar spectra (ELODIE-SOPHIE Archive)

221 0 0

certora-cli-alpha-yoav-real-destructive

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

194 302 37

certora-cli-alpha-shelly-vyper04curvetaketwo

Runner for the Certora Prover

160 302 37

certora-cli-alpha-abakst-auto-erc7201-storage-extension

Runner for the Certora Prover

155 302 37