Alternatives

Products that do what Koda, a typesafe functional toolkit for Python does

1. 1PL
   Python library for functional programming▲129

   2017 · github.com

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

   2018 · github.com

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

   2015 · github.com

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

   2018 · github.com

5. 5BA
   B2blaze – A Backblaze B2 library for Python▲359

   2018 · github.com

6. 6KA
   Kim – A Python serialization and marshaling framework▲136

   2017 · kim.readthedocs.io

7. 7AA
   Assembly: A Pythonic Object-Oriented Web Framework Built on Flask▲67

   2019 · mardix.github.io

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

   2020 · github.com

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

   2013 · mos6581.org

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

    2016 · github.com

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

    2019 · functorflow.org

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

    2014 · github.com

13. 13PA
    PySchemes – A library for validating data structures in Python▲94

    2017 · github.com

14. 14KA
    Koi - a programming language that teaches language implementation.▲70

    2010 · thingsaaronmade.com

15. 15PP
    Practical Python – Python projects for beginners▲38

    2020 · codewithrepl.it

16. 16PA
    Pdoc, a lightweight Python API documentation generator▲45

    2021 · pdoc.dev

17. 17PA
    Phorth – A Forth-like language on the Python VM▲62

    2017 · github.com

18. 18VP
    Visual Python – open source visual Python code generator▲42

    2021 · github.com

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

    2018 · pablasso.com

20. 20P8
    PEP 827 – TS-like type manipulation in Python▲7

    Mar 2026 · peps.python.org

21. 21LA
    Langcodes – A Python library for working with language codes▲5

    2014 · github.com

22. 22SP
    spe.py – A Simple Polymorphic Engine▲13

    2021 · github.com

23. 23LA
    Lark, a modern parsing library with Earley and LALR(1) implementations▲15

    2017 · github.com

24. 24MA
    Mathup – A simple MathML authoring tool▲32

    2020 · runarberg.github.io

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