Stars
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
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.
Debug Python logging problems by printing out the tree of handlers you have defined.
Static site generator that supports Markdown and reST syntax. Powered by Python.