Open-source projects categorized as Typing | Edit details

Top 17 Typing Open-Source Projects

  • GitHub repo mypy

    Optional static typing for Python 3 and 2 (PEP 484)

    Project mention: Python programmers prepare for pumped-up performance: Article describes Pyston and plans to upstream Pyston changes back into CPython, plus Facebook's Cinder: "publicly available for anyone to download and try and suggest improvements." | reddit.com/r/Python | 2021-05-08

    A comment on 2, (It is still early days), but mypy is effectively this. Enforcing types and with mypyc, it is possible to compile all the scripts to statically typed c.

  • GitHub repo pytype

    A static type analyzer for Python code

    Project mention: Pyre: A performant type-checker for Python 3 | news.ycombinator.com | 2021-05-10

    No. I didn't expect it to be non-blaze/bazel tool friendly, but sounds like it is (aims to be at lest)?

    It does seems to support the entire-directory parsing as well. That's nice! Let me give it a try next time. Thanks for the tip!

    As a reminder to myself, here is the link to the doc: https://google.github.io/pytype/

  • GitHub repo qwerty-learner

    为键盘工作者设计的单词记忆与英语肌肉记忆锻炼软件 / Words learning and English muscle memory training software designed for keyboard workers

    Project mention: Words learning and English muscle memory training software designed for keyboard workers | reddit.com/r/github | 2021-02-10
  • GitHub repo typeshed

    Collection of library stubs for Python, with static types

    Project mention: Python 3 Types in the Wild: A Tale of Two Type Systems [pdf] | news.ycombinator.com | 2021-04-14

    I wonder if that's a mypy issue or more that the typeshed types are bugged, since type shed versions also get shipped (used to?) with new type checker versions.


  • GitHub repo typing

    Work related to PEP 484: typing.py and typing_extensions.py (both released via PyPI) and issue tracker for type system bugs/features.

    Project mention: Pyre: A performant type-checker for Python 3 | news.ycombinator.com | 2021-05-10

    > The problems for which I'm less optimistic tend to revolve around shoehorning typing into existing Python syntax--e.g., to get a callback that takes kwargs you have to define a protocol with a `__call__` method that takes kwargs because you can't express it with `typing.Callable`

    You might be interested in the discussion over here then -> https://github.com/python/typing/issues/769#issuecomment-741...

  • GitHub repo mltype

    Command line tool for improving typing skills (programmers friendly)

    Project mention: Created a python script to help me practice typing special characters!! | reddit.com/r/MechanicalKeyboards | 2021-03-04

    This script does require a package called mltype

  • GitHub repo typing_inspect

    Runtime inspection utilities for Python typing module

    Project mention: Runtime inspection utilities for Python typing module | news.ycombinator.com | 2021-04-07
  • GitHub repo tt

    A terminal based typing test.

    Project mention: ttyper - a typing test in the terminal written in Rust | reddit.com/r/rust | 2021-03-15
  • GitHub repo typer

    Typing test in your terminal (by maaslalani)

    Project mention: Typer: A terminal user-interface (written in Go) for measuring your typing speed. | reddit.com/r/golang | 2021-03-27
  • GitHub repo tt

    Practicing touch typing, and monitor your typing speed using your own text files (by runrin)

    Project mention: I Made This Set Of Unown Pokemon Keycaps | reddit.com/r/gaming | 2020-12-29

    Great typing practice page. I'm in my terminal a lot and found this neat typing practice script that someone wrote just call tt. https://github.com/runrin/tt

  • GitHub repo irregular-expressions

    Android virtual keyboard for expressive typing

    Project mention: Irregular Expressions: A keyboard that helps you type 🅻🅸🅺🅴 🆃🅷🅸🆂 or 𝖙𝖍𝖎𝖘. | reddit.com/r/AppHunt | 2021-02-10
  • GitHub repo flake8-typing-imports

    flake8 plugin which checks that typing imports are properly guarded

    Project mention: new flake8-hook to manage circular import issues 🚀 | reddit.com/r/Python | 2021-03-24

    PS: I didn't know this when writing the plugin, but after finishing it (🙈) I found another similarplugin already existed. This doesn't quite do what I need it to though, so I'll probably keep maintaining my own version for now - but feel free to check that out too 🙂

  • GitHub repo runtype

    Utilities for run-time type validation and multiple dispatch

    Project mention: Python and type hints | reddit.com/r/pythoncoding | 2021-03-09

    And you can use https://github.com/erezsh/runtype to verify at runtime that they are created and remain correct.

  • GitHub repo flake8-type-checking

    Flake8 plugin for managing type-checking imports & forward references

    Project mention: If you want to get a little bit stricter about your import management | reddit.com/r/Python | 2021-04-29
  • GitHub repo TySug

    A project around helping to prevent typing typos. TySug (Typo Suggestions) suggests alternative words with respect to keyboard layouts

  • GitHub repo petit_ts

    Easely create your typescript files from python definition using petit_ts

    Project mention: One of my first real Open source project | reddit.com/r/Python | 2021-03-02
  • GitHub repo typing-dev

    A Typing Practice Web App with various programming languages

    Project mention: A typing practice application using open-source projects on GitHub | reddit.com/r/reactjs | 2021-04-13

    Not only will you improve the efficiency of your typing, you will also get a chance to take a look at new open-source projects and analyze their syntax and techniques. In addition, the application provides familiar statistics one would expect such as CPM and WPM. By creating an account, which is entirely optional, you can save and visualize your growth. App: https://typing-dev.web.app/ Github: https://github.com/tnguye20/typing-dev

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2021-05-10.


What are some of the best open-source Typing projects? This list will help you:

Project Stars
1 mypy 10,605
2 pytype 3,255
3 qwerty-learner 2,562
4 typeshed 2,117
5 typing 899
6 mltype 254
7 typing_inspect 202
8 tt 135
9 typer 113
10 tt 55
11 irregular-expressions 49
12 flake8-typing-imports 26
13 runtype 24
14 flake8-type-checking 12
15 TySug 9
16 petit_ts 1
17 typing-dev 1