Repository Index

An open source platform for Python in the browser. https://pyscript.net Docs: https://docs.pyscript.net/ Try it: https://pyscript.com/ Community: https://discord.gg/HxvBtukrg2

• python
• html
• javascript
• wasm

Trio – a friendly Python library for async concurrency and I/O

• python
• async
• async-await
• networking

Event-driven networking engine written in Python.

• python
• twisted
• async
• async-python

Datetimes for Humans™

• datetimes
• dates
• times
• date

Dataflow compiler for QNN inference on FPGAs

• dataflow
• quantization
• fpga
• compiler

v1.2 - UI tool for manage Espressif ESP32 microcontrollers with embedded MicroPython for MacOS, Windows and Linux: mini IDE, files manager, REPL, real time dashboards (sys/net), advanced features (gpio/mp3/leds/...)

• esp32
• ide
• macos
• micropython

a network packet capture compiler

Mock an SSH server and define all commands it supports (Python, Twisted)

• mock
• ssh
• python
• hylang

Tool for suggesting lemma names in Coq verification projects

• coq
• machine-learning
• name-generation
• pytorch