freewifi

joined 6 months ago
sorted by: new top controversial old
14
Translation of Python code to Coq | Formal Land (formal.land)
2
Light speed with Python and JS (www.bitecode.dev)
What's up Python? Lots of Wasm, Pydantic on fire, and Guido in a crossword... in c/[email protected]
[–] [email protected] 1 points 5 months ago

Parser tongue.

11
What's up Python? Lots of Wasm, Pydantic on fire, and Guido in a crossword... (www.bitecode.dev)
18
Testing with Python (part 1): the basics (www.bitecode.dev)
10
Announcing py2wasm: A Python to Wasm compiler (wasmer.io)
20
Guido in the NY Times crossword (framapiaf.org)