Stellar Python Packages

stellar-sdk

Stellar client library for the Python language

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

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

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

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

vplanet

The Virtual Planet Simulator

pysme-astro

Spectroscopy Made Easy

stellar-observatory

Python package for analyzing the Stellar network

stellar-model

Parse the raw Stellar data into Python models.

django-polaris

An extendable Django app for building modular Stellar services

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

strledger

Ledger Hardware Wallet Stellar Python bindings.

kin-sdk

Kin SDK for Python

soroban

API and CLI for Soroban contracts in Python

stellar-base

Stellar client library for the Python language

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

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

web3data

A Python library for the amberdata.io API

certora-cli-alpha-oz-license

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

stellar-contract-bindings

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

xdrparser

Command line tool to unpack Stellar's history xdr files

certora-cli-alpha-yoav-real-destructive

Runner for the Certora Prover

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

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

stelspec

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

certora-cli-alpha-shelly-vyper04curvetaketwo

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