Koda, a typesafe functional toolkit for Python
Koda, a typesafe functional toolkit for Python launched on February 7, 2022 with 110 votes, #304 of 2,645 launches that month and more than 90% of that year's launches. The site was still online in September 2026, 4 years on.
In plain words
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 checking. The toolkit is available through PyPI for easy installation. It is designed for Python developers who prefer functional programming paradigms and want built-in type safety features to catch errors during development rather than at runtime.
written from the facts on this page · September 2026
Does a similar job
all alternatives →
Koda Validate – Typesafe, combinable validation for Python2022 · github.com · ▲30Typesafe, Composable Validation. Contribute to keithasaurus/koda-validate development by creating an account on GitHub.
KodusOct 2025 · kodus.io · ▲145Hey 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:…
Python library for functional programming2017 · github.com · ▲129Python library for creating data pipelines with chain functional programming - EntilZha/PyFunctional
A Python with Hindley-Milner-like type annotations, compiling to C2015 · github.com · ▲134a python-like language with hindley-milner-like type system, which is compiled to c - alehander92/Airtight
Jacinda, a functional Awk (text stream processing on the comamnd-line)2024 · hackage.haskell.org · ▲81Typed, functional (folds, scans) stream processing backed by Andrew Gallant/burntsushi's regular expressions library. There's a guide here! https://vmchale.github.io/jacinda/
More dev tools this month
the category →
open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.
Dev tools · 27d ago · github.com
Contribute to reladraw/reladraw development by creating an account on GitHub.
Dev tools · 25d ago · github.com
OpenBot▲362Grok Bot alternative: free, local, open-source, multiplayer
Dev tools · 22d ago · openbot.run
Talanoa▲340Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…
Dev tools · 20d ago · talanoa.email
CoreSpeed▲332One MCP for everything your agents need: apps, memory, tools
Dev tools · 27d ago · corespeed.io
Source: Show HN post ↗
Launched alongside, February 2022
the whole month →
Sha256 algorithm explained online step by step visually
Life & fun · 2022 · sha256algorithm.com
EdgeDB 1.0▲947Today, after years of research, development, and refinement EdgeDB graduates to a production-ready database. We are very proud to announce EdgeDB 1.0.
Dev tools · 2022 · edgedb.com
