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