mypy logo
GSoCProgramming languagesLast accepted 2021

mypy

A static type checker for Python and a compiler for type-annotated Python

3
Projects
2
Years accepted
2
In 2021

Projects by year

3

2021

2 acceptedShow
  • Improve support for singledispatch

    Accepted project · by Pranav Rajpal

    Currently, mypy and mypyc are unable to recognize uses of the singledispatch decorator, making mypy generate false positives and mypyc generate...

  • Speeding up string operations of Mypyc

    Accepted project · by Jingchen YE

    Mypyc is a compiler from type-annotated Python to CPython C extension modules. It uses type information and restrictions to certain dynamic language...

2020

1 acceptedShow
  • Generalize mypyc IR to Make non-C Backends Possible

    Accepted project · by Xuanda Yang

    Mypyc now employs an IR that is tightly bound to C, which makes potential experiments with new backends impractical and also breaks the layering...