freewifi

joined 7 months ago

14

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

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

4 comments fedilink

2

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

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

0 comments fedilink

2

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

18

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

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

0 comments fedilink

10

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

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

0 comments fedilink

20

Guido in the NY Times crossword (framapiaf.org)

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

0 comments fedilink