Double-entry accounting system with a command-line reporting interface

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

Python Library for Parsing Devicetree Source v1

Linter/analyzer for Makefiles

Webapp to test speed of Nano Transactions

Convert your Python classes to JSON objects easily. Get rid of parameters verification and objects conversion with Jsonizable.

PyPI package for pydf

Plumbum: Shell Combinators

Port of MicroPython for the BBC micro:bit

Debug Python logging problems by printing out the tree of handlers you have defined.

Python Data Structures for Humans™.

Static site generator that supports Markdown and reST syntax. Powered by Python.

Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documen…