freewifi

joined 7 months ago

1

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

submitted 6 months ago by [email protected] to c/[email protected]

3 comments fedilink

1

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

submitted 6 months ago by [email protected] to c/[email protected]

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 [email protected] to c/[email protected]

1 comments fedilink

1

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

submitted 6 months ago by [email protected] to c/[email protected]

0 comments fedilink

1

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

submitted 6 months ago by [email protected] to c/[email protected]

0 comments fedilink

1

Guido in the NY Times crossword (framapiaf.org)

submitted 7 months ago by [email protected] to c/[email protected]

0 comments fedilink