Python Type Hints Are Turing Complete

1. pydantic

   1 176 23,401 9.8 Python

   Data validation using Python type hints

   

   Oh it looks like they actually pushed back the PEP 563 changes..

   From this thread [0] it does not look open and shut that it will work once these changes go into effect.

   [0]: https://github.com/pydantic/pydantic/issues/2678

2. Judoscale

   judoscale.com featured

   Save 47% on cloud hosting with autoscaling that just works. Judoscale integrates with Django, FastAPI, Celery, and RQ to make autoscaling easy and reliable. Save big, and say goodbye to request timeouts and backed-up task queues.

   

3. python-typing-machines

   2 1 32 10.0 Python

   Python type hints are Turing complete.

   

4. LaTeXML

   3 3 1,061 8.4 Perl

   LaTeXML: a TeX and LaTeX to XML/HTML/ePub/MathML translator.

   

   They aren't using the rendered PDFs. They are convering from the LaTeX sources, that you upload to arxiv with https://github.com/brucemiller/LaTeXML

5. di

   4 5 317 0.0 Python

   Pythonic dependency injection (by adriangb)

   

   Indeed.

   The dep injection is fastapi and typer code though, and quite tied to it. So it's worth mentioning that somebody is attempting (quite successfully from the look of it) to create a generic lib of dep injection using annotation named DI, inspired by those libs: https://github.com/adriangb/di

6. json-parser-in-typescript-very-bad-idea-please-dont-use

   5 4 433 0.0 TypeScript

   JSON Parser written entirely in TypeScript's type system

   

   [1]: https://github.com/jamiebuilds/json-parser-in-typescript-ver...

7. json-parser-in-typescript-ver

   6 2 - -

   [1]: https://github.com/jamiebuilds/json-parser-in-typescript-ver...

8. xlcalculator

   7 3 125 4.4 Python

   xlcalculator converts MS Excel formulas to Python and evaluates them.

   

   Looks like it's xlcalculator:

   https://github.com/bradbase/xlcalculator#addingregistering-e...

9. InfluxDB

   influxdata.com featured

   InfluxDB high-performance time series database. Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.

   

10. ideas

    8 86 1,714 5.7

    

    That might be a worthwhile addition to the suggestion at https://github.com/faster-cpython/ideas/issues/453

Suggest a related project