freewifi

We are starting to work on a new product, coq-of-python. The idea of this tool is, as you can guess, to translate Python code to the proof system Coq.

🐍 Translation of Python code to Coq | Formal Land

1

Python @sh.itjust.works freewifi @sh.itjust.works 6 mo. ago

Light speed with Python and JS

www.bitecode.dev Light speed with Python and JS

We've gone to plaid!

0

Python @sh.itjust.works freewifi @sh.itjust.works 6 mo. ago

What's up Python? Lots of Wasm, Pydantic on fire, and Guido in a crossword...

www.bitecode.dev What's up Python? Lots of Wasm, Pydantic on fire, and Guido in a crossword...

April, 2024

0

Python @sh.itjust.works freewifi @sh.itjust.works 6 mo. ago

Testing with Python (part 1): the basics

www.bitecode.dev Testing with Python (part 1): the basics

Tautology, the masterclass

0

Python @sh.itjust.works freewifi @sh.itjust.works 7 mo. ago

Announcing py2wasm: A Python to Wasm compiler

wasmer.io Announcing py2wasm: A Python to Wasm compiler · Blog · Wasmer

py2wasm converts your Python programs to WebAssembly, running them at 3x faster speeds

0

Python @sh.itjust.works freewifi @sh.itjust.works 7 mo. ago

Guido in the NY Times crossword

framapiaf.org Barbara Shaurette :python: (@bshaurette@social.linux.pizza)

Attached: 1 image in today’s NY Times crossword (this is how you know he’s finally made it):

0