freewifi

joined 1 year ago

15

Translation of Python code to Coq | Formal Land (formal.land)

submitted 1 year ago by freewifi@sh.itjust.works to c/python@sh.itjust.works

3 comments fedilink

2

Light speed with Python and JS (www.bitecode.dev)

submitted 1 year ago by freewifi@sh.itjust.works to c/python@sh.itjust.works

0 comments fedilink

What's up Python? Lots of Wasm, Pydantic on fire, and Guido in a crossword... in c/python@sh.itjust.works

[–] freewifi@sh.itjust.works 1 points 1 year ago

Parser tongue.

11

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

submitted 1 year ago by freewifi@sh.itjust.works to c/python@sh.itjust.works

2 comments fedilink

19

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

submitted 1 year ago by freewifi@sh.itjust.works to c/python@sh.itjust.works

0 comments fedilink

10

Announcing py2wasm: A Python to Wasm compiler (wasmer.io)

submitted 1 year ago by freewifi@sh.itjust.works to c/python@sh.itjust.works

0 comments fedilink

20

Guido in the NY Times crossword (framapiaf.org)

submitted 1 year ago by freewifi@sh.itjust.works to c/python@sh.itjust.works

0 comments fedilink