Skip Navigation
InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)FR
freewifi @sh.itjust.works
Posts 6
Comments 1
Python @sh.itjust.works freewifi @sh.itjust.works
formal.land Translation of Python code to Coq | Formal Land

We are starting to work on a new product, coq-of-python. The idea of this tool is, as you can guess, to translate Python code to the proof system Coq.

Translation of Python code to Coq | Formal Land
4
Python @sh.itjust.works freewifi @sh.itjust.works
www.bitecode.dev Light speed with Python and JS

We've gone to plaid!

Light speed with Python and JS
0
What's up Python? Lots of Wasm, Pydantic on fire, and Guido in a crossword...

  • Parser tongue.

    • Python @sh.itjust.works freewifi @sh.itjust.works
    www.bitecode.dev What's up Python? Lots of Wasm, Pydantic on fire, and Guido in a crossword...

    April, 2024

    What's up Python? Lots of Wasm, Pydantic on fire, and Guido in a crossword...
    2
    Python @sh.itjust.works freewifi @sh.itjust.works
    www.bitecode.dev Testing with Python (part 1): the basics

    Tautology, the masterclass

    Testing with Python (part 1): the basics
    0
    Python @sh.itjust.works freewifi @sh.itjust.works

    Announcing py2wasm: A Python to Wasm compiler
    wasmer.io Announcing py2wasm: A Python to Wasm compiler · Blog · Wasmer

    py2wasm converts your Python programs to WebAssembly, running them at 3x faster speeds

    Announcing py2wasm: A Python to Wasm compiler · Blog · Wasmer
    0
    Python @sh.itjust.works freewifi @sh.itjust.works

    Guido in the NY Times crossword
    framapiaf.org /deck/@[email protected]/112224848508791940
     Embed prevented alt text
    0