Alternatives

Products that do what PEP 827 – TS-like type manipulation in Python does

1. 1KA
   Koda, a typesafe functional toolkit for Python▲110

   2022 · pypi.org

2. 2AP
   A Python with Hindley-Milner-like type annotations, compiling to C▲134

   2015 · github.com

3. 3AA
   Algojammer – an experimental Python code editor inspired by Bret Victor▲309

   2018 · github.com

4. 4CA
   Cannoli – A compiler for a subset of Python written in Rust▲292

   2018 · github.com

5. 5MA
   Mys – an attempt to create a statically typed Python-like language▲50

   2020 · github.com

6. 6AS
   A Swift implementation of selected parts of Python standard library▲55

   2014 · github.com

7. 7RL
   Rust-Like Traits in Python▲50

   2021 · github.com

8. 8RA
   RinohType – A modern LaTeX in 6500 lines of Python▲153

   2013 · mos6581.org

9. 9AA
   Automated algorithm translation for Python, C++, C#, JS▲142

   2016 · github.com

10. 10HM
    Hindley-Milner Type Inference Algorithm in OCaml▲136

    2016 · github.com

11. 11LI
    Lisp implementation in modern Java, Go, C#, TypeScript, Python▲128

    2021 · github.com

12. 12PL
    Python library for functional programming▲129

    2017 · github.com

13. 13MA
    Miso – A Haskell implementation of Elm▲114

    2017 · github.com

14. 14ST
    Scala-ts – Scala to TypeScript compiler▲66

    2016 · github.com

15. 15CA
    Chelodina – A Logo-to-Python Transpiler▲36

    2018 · pablasso.com

16. 16TA
    Tt – a Python library/cli for Boolean expressions▲23

    2017 · github.com

17. 17FA
    FunctorFlow – An attempt to re-imagine Python libraries▲40

    2019 · functorflow.org

18. 18AC
    A CLI tool to generate Cistercian numerals▲51

    2021 · github.com

19. 19AS
    A set of handy tools to work with sequences and collections in Python▲29

    2013 · github.com

20. 20AL
    A Lisp interpreter in C# 7▲30

    2018 · github.com

21. 21AC
    a compiler from Python syntax to JavaScript syntax (like CoffeeScript)▲32

    2010 · pyxc.org

22. 22AS
    A search engine for python syntax▲12

    2014 · alts.io

23. 23AS
    A smart Django/Node code generator written in Haskell▲7

    2021 · app.imagine.ai

24. 24AE
    An experimental Python to C#/Go/Ruby/JS transpiler▲14

    2016 · github.com

Ranked by how close each launch is in meaning, then by votes. Refine with a description →