freewifi

joined 8 months ago
sorted by: new top controversial old
14
Translation of Python code to Coq | Formal Land (formal.land)
submitted 7 months ago by freewifi to c/python
4 comments fedilink
2
Light speed with Python and JS (www.bitecode.dev)
submitted 7 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 7 months ago

Parser tongue.

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