1
Translation of Python code to Coq | Formal Land (formal.land)
submitted 5 months ago by freewifi@sh.itjust.works to c/python@sh.itjust.works
1 comments fedilink
1
Light speed with Python and JS (www.bitecode.dev)
submitted 5 months ago by freewifi@sh.itjust.works to c/python@sh.itjust.works
0 comments fedilink
1
What's up Python? Lots of Wasm, Pydantic on fire, and Guido in a crossword... (www.bitecode.dev)
submitted 6 months ago by freewifi@sh.itjust.works to c/python@sh.itjust.works
0 comments fedilink
1
Testing with Python (part 1): the basics (www.bitecode.dev)
submitted 6 months ago by freewifi@sh.itjust.works to c/python@sh.itjust.works
0 comments fedilink
1
Announcing py2wasm: A Python to Wasm compiler (wasmer.io)
submitted 6 months ago by freewifi@sh.itjust.works to c/python@sh.itjust.works
0 comments fedilink
1
Guido in the NY Times crossword (framapiaf.org)
submitted 7 months ago by freewifi@sh.itjust.works to c/python@sh.itjust.works
0 comments fedilink

freewifi

joined 7 months ago