nowfound

Dev tools · alternatives · 2026

KA

Koda is a functional programming toolkit for Python that emphasizes type safety. Launched in 2022, it provides developers with tools to write code using functional programming principles while maintaining strong type… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. Koda, a typesafe functional toolkit for Python launched in 2022; newer entries below may have overtaken it.

  1. 1

    Typesafe, Composable Validation. Contribute to keithasaurus/koda-validate development by creating an account on GitHub.

    2022 · github.com · its alternatives →

  2. 2

    Grammarly for programmers

    2023 · kodezi.com · its alternatives →

  3. 3
    Kodus▲145

    Hey everyone, Just wanted to share a quick update we just launched at Kodus. For those who don’t know it yet, Kodus is a code review agent that runs directly in your team’s Git workflow (GitHub, GitLab, Bitbucket… and now Azure DevOps as well). It helps maintain code quality and consistency by analyzing each PR based on your team’s own rules and repository standards. Support for Azure had been a common request — so if your team uses it, you can now plug Kodus right into your workflow and give it a try. Docs: https://docs.kodus.io/how_to_use/en/overview Repo:…

    Oct 2025 · kodus.io · its alternatives →

  4. 4

    Python library for creating data pipelines with chain functional programming - EntilZha/PyFunctional

    2017 · github.com · its alternatives →

  5. 5KA
  6. 6

    a python-like language with hindley-milner-like type system, which is compiled to c - alehander92/Airtight

    2015 · github.com · its alternatives →

  7. 7
    Koidex▲380

    Know if a package, extension, or AI model is actually safe

    Feb 2026 · dex.koi.security · its alternatives →

  8. 8
    Komment▲360

    Make sense of messy code

    2025 · komment.ai · its alternatives →

  9. 9
    Kodo▲365

    Create fully editable designs by chatting with AI

    Mar 2026 · usekodo.ai · its alternatives →

  10. 10

    Typed, functional (folds, scans) stream processing backed by Andrew Gallant/burntsushi's regular expressions library. There's a guide here! https://vmchale.github.io/jacinda/

    2024 · hackage.haskell.org · its alternatives →

  11. 11

    An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing - zanellia/prometeo

    2021 · github.com · its alternatives →

  12. 12

    Now with VSCode Extension & the latest LLMs

    2024 · getdevkit.com · its alternatives →

  13. 13
    typing.io▲255

    Typing practice for programmers

    2015 · typing.io · its alternatives →

  14. 14

    AST-based fragmental source code refactoring toolkit for Python - isidentical/refactor

    2021 · github.com · its alternatives →

  15. 15

    I've built many interpreters over the years, and Bolt represents my attempt at building the scripting language I always wanted. This is the first public release, 0.1.0! I've felt like most embedded languages have been moving towards safety and typing over years, with things like Python type hints, the explosive popularity of typescript, and even typing in Luau, which powers one of the largest scripted evironments in the world. Bolt attempts to harness this directly in the lagnauge rather than as a preprocessing step, and reap benefits in terms of both safety and performance. I intend to be…

    2025 · github.com · its alternatives →

  16. 16

    Introducing your one & only safety check model

    2022 · its alternatives →

  17. 17
    Kobra▲146

    Visual programming for machine learning, like Scratch

    2021 · kobra.dev · its alternatives →

  18. 18
  19. 19

    Fast C based HTML 5 parsing for python. Contribute to kovidgoyal/html5-parser development by creating an account on GitHub.

    2017 · github.com · its alternatives →

  20. 20
    DevKit▲142

    The ultimate developer toolkit

    2022 · getdevkit.com · its alternatives →

  21. 21

    A framework for functional types and operations designed to fit naturally into Swift. - mpangburn/FunctionKit

    2018 · github.com · its alternatives →

  22. 22
  23. 23

    Hello HN, I'm releasing Hyperdiv (https://hyperdiv.io), a framework for rapidly developing reactive browser UIs in Python, with immediate-mode syntax and using Shoelace (https://shoelace.style) as its built-in component system. This short coding video will give you a good idea of what it is: https://www.youtube.com/watch?v=4XJKfxaqvGE I wrote a brief article about the motivation and approach: https://hyperdiv.io/intro.html Hyperdiv doesn't aim to compete with serious full-stack frameworks. The core aim was to make it easy and fast to…

    2024 · github.com · its alternatives →

  24. 24
    dbKoda▲77

    Modern Open-Source Database Development Tool

    2017 · oldewalkervilletheatre.com · its alternatives →

Also compare

Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →