freewifi

joined 1 year ago
sorted by: new top controversial old
15
Translation of Python code to Coq | Formal Land (formal.land)
submitted 11 months ago by freewifi to c/python
3 comments fedilink
2
Light speed with Python and JS (www.bitecode.dev)
submitted 11 months ago by freewifi to c/python
0 comments fedilink
What's up Python? Lots of Wasm, Pydantic on fire, and Guido in a crossword... in c/python
[–] freewifi 1 points 11 months ago

Parser tongue.

11
What's up Python? Lots of Wasm, Pydantic on fire, and Guido in a crossword... (www.bitecode.dev)
submitted 11 months ago by freewifi to c/python
2 comments fedilink
19
Testing with Python (part 1): the basics (www.bitecode.dev)
submitted 11 months ago by freewifi to c/python
0 comments fedilink
10
Announcing py2wasm: A Python to Wasm compiler (wasmer.io)
submitted 1 year ago by freewifi to c/python
0 comments fedilink
20
Guido in the NY Times crossword (framapiaf.org)
submitted 1 year ago by freewifi to c/python
0 comments fedilink