dafnyruntimepython

Extra Credit builds an outline of dafnyruntimepython's docs the first time your work uses it. Until then, start at the official documentation.

• dodgy Dodgy: Searches for dodgy looking lines in Python code
• gitlint Git commit message linter written in python, checks your commit messages for style.
• quinn Pyspark helper methods to maximize developer efficiency
• myst-nb A Jupyter Notebook Sphinx reader built on top of the MyST markdown parser.
• python-pcapng Library to read/write the pcap-ng format used by various packet sniffers.
• wagtail A Django content management system.
• coloraide A color library for Python.
• pdb-attach A python debugger that can attach to running processes.
• asyncio-mqtt Idiomatic asyncio wrapper around paho-mqtt
• sigfig Python library for rounding numbers (with expected results)
• microsoft-agents-hosting-fastapi Integration library for Microsoft Agents with FastAPI
• pykaos