PyPI Stats
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About
Home

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
StellarCN
stellar-sdk

Stellar client library for the Python language

106K 368 177
Certora
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

49K 302 37
Certora
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
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

12K 302 37
Certora
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

10K 302 37
SpectroscopyMadeEasy
pysme-astro

Python wrapper for Spectroscopy Made Easy

9K 3 0
VirtualPlanetaryLaboratory
vplanet

The virtual planet simulator

7K 160 58
andrenarchy
stellar-observatory

Python package for analyzing the Stellar network

2K 14 5
stellar
django-polaris

An extendable Django server for Stellar Ecosystem Proposals.

1K 97 72
StellarCN
stellar-model

Parse the raw Stellar data into Python models.

922 15 6
kinecosystem
kin-sdk

KIN SDK for Python

839 26 11
Certora
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

822 302 37
lightsail-network
strledger

Ledger Hardware Wallet Stellar Python bindings.

668 0 0
tupui
soroban

API and CLI for Soroban contracts in Python

585 7 2
stellarCN
stellar-base

Stellar client library for the Python language

518 368 177
dmuhs
web3data

A Python library for the amberdata.io API

316 9 2
lightsail-network
stellar-contract-bindings

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

293 10 2
Certora
certora-cli-alpha-rahav-cert-9297-formatter-publish

Runner for the Certora Prover

281 302 37
kinecosystem
xdrparser

Xdr parser for Kin's history files

238 2 1
behrouzz
stelspec

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

237 0 0
Certora
certora-cli-alpha-oz-license

Runner for the Certora Prover

203 302 37
Certora
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

180 302 37
Certora
certora-cli-alpha-shelly-vyper04curvetaketwo

Runner for the Certora Prover

138 302 37
Certora
certora-cli-alpha-abakst-auto-erc7201-storage-extension

Runner for the Certora Prover

136 302 37
    • Data from PyPI, GitHub, ClickHouse, and BigQuery