Testing with Python (part 1): the basics ( www.bitecode.dev )
Translation of Python code to Coq | Formal Land ( formal.land )
A library for creating fully typed declarative API clients quickly and easily ( github.com )
cross-posted from: https://programming.dev/post/13395352...
What's up Python? Lots of Wasm, Pydantic on fire, and Guido in a crossword... ( www.bitecode.dev )
Announcing py2wasm: A Python to Wasm compiler ( wasmer.io )
Python Bindings for llama.cpp ( github.com )
Simple Python bindings for @ggerganov's llama.cpp library. This package provides:...
Light speed with Python and JS ( www.bitecode.dev )
Idle Clicke in Tkinter for Pydroid3 or Desktop ( github.com )
It runs!.. it's just a toy.