freewifi

joined 2 years ago

2

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

0 comments 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

0 comments 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

0 comments fedilink

2

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

0 comments 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

0 comments 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

0 comments fedilink