Pyano: A formalization of first-order logic and Peano's axioms in Python

2023-06-27

Show HN: Sdqrcode: Python lib to generate AI QR code with Stable Diffusion

2023-06-26

Show HN: How I made AI watch YouTube for me!

2023-06-26

Show HN: WiseData – AI Assistant for Python Data Analytics

2023-06-26

Show HN: Phase – open-source encryption and key management for developers

2023-06-26

Robocorp.log: a library to answer what happened in a Python run

2023-06-26

Authlib: Python Authentication

2023-06-26

Image of Equation –> OCR –> LaTEX –> ChatGPT –> Python

2023-06-26

Ask HN: Why did Nim not catch on like Rust did?

2023-06-26

Show HN: Underground Music Discovery for DJs and Ravers

2023-06-25