Dev tools · alternatives · 2026
24 alternatives to PEP 827 – TS-like type manipulation in Python
We propose adding powerful type-level introspection and construction facilities to Python’s type system. This design is inspired largely by TypeScript’s conditional and mapped types, but is adapted to the distinct semantics and constraints of Python’s t...
Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes.
- 1
A SQL database implemented purely in TypeScript type annotations. - codemix/ts-sql
2020 · github.com · its alternatives →
- 2
a python-like language with hindley-milner-like type system, which is compiled to c - alehander92/Airtight
2015 · github.com · its alternatives →
- 3
Greetings! A 2.5 weekends project to teach myself newer Python features (>= 3.10). Conditions are written as Lambda expressions that annotate parameters and return types, and coexist with type annotations. Symbols to share values between conditions are also supported to a limited extend.
2022 · github.com · its alternatives →
- 4PT
Hi HN, I'm excited to share Python-Type-Challenges, a collection of hands-on, interactive challenges designed to help Python developers master type annotations. Whether you're new to type hints or looking to deepen your understanding, these exercises provide a fun and educational way to explore Python's type system. I'd love to get your feedback and contributions! https://github.com/laike9m/Python-Type-Challenges
2023 · python-type-challenges.zeabur.app · its alternatives →
- 5
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 →
- 6
TypeScript playground: https://www.typescriptlang.org/play?#code/KYDwDg9gTgLgBDAnmY...
2023 · github.com · its alternatives →
- 7
Python library for creating data pipelines with chain functional programming - EntilZha/PyFunctional
2017 · github.com · its alternatives →
- 8
Build Typed GraphQL Queries in TypeScript without the code generation - acro5piano/typed-graphqlify
2018 · github.com · its alternatives →
- 9
AST-based fragmental source code refactoring toolkit for Python - isidentical/refactor
2021 · github.com · its alternatives →
- 10
A lisp rosetta stone to demonstrate modern language features - eatonphil/lisp-rosetta-stone
2021 · github.com · its alternatives →
- 11
I started writing this book 10 years ago in JavaScript, got through a few chapters (asymptotic notation, basic techniques, start of sorting), and then abandoned it. Recently I picked it back up, converted everything to TypeScript, and used AI (Zenflow [1] + Claude Opus 4.6) to complete the remaining chapters. I provided the structure, direction, and initial chapters; the AI generated the bulk of the remaining content under a spec-driven workflow. The book covers roughly a first 1-2 year CS curriculum: sorting, dynamic programming, graph algorithms, trees, heaps, hash tables, and more. All…
Mar 2026 · amoilanen.github.io · its alternatives →
- 12
Explains programming language concepts in plain language.
2016 · fullstackpython.com · its alternatives →
- 13
See what it’s like to program in a language without null.
2015 · books.thoughtbot.com · its alternatives →
- 14
Modern declarative (React-like) Tcl/Tk interface for Python - leontrolski/tkintergalactic
2025 · github.com · its alternatives →
- 15
This absurd project started when I read a couple of blog posts that got very popular around here about solving the N queens puzzle using only Haskell's type system and TypeScript's type system. I figured I could implement Peano arithmetic using only TypeScript's type system. Turns out this have been done several times before, but I did it anyway. While working on it, I realized that you could emulate functions with conditional recursive types, writing them in a way that strongly resembles the equations that can be found in some functional programming languages. So I thought I could write a…
2023 · github.com · its alternatives →
- 16
a restricted python to javascript / c# / go / ruby compiler - pseudo-lang/pseudo-python
2016 · github.com · its alternatives →
- 17
a Pythonic toolkit for working with Boolean expressions - welchbj/tt
2016 · github.com · its alternatives →
- 18AM
I made an open source, MIT license Typescript library based on some of the latest research that generates prompt injection attacks. It is a super minimal/lightweight and designed to be super easy to use. Keen to hear your thoughts and please be responsible and only pen test systems where you have permission to pen test!
2025 · prompt-injector.blueprintlab.io · its alternatives →
- 19
TypeScript as a proof assistant. GitHub Gist: instantly share code, notes, and snippets.
2025 · gist.github.com · its alternatives →
- 20
Genotype Programming Language Homepage
Sep 2026 · genotype-lang.org · its alternatives →
- 21
Hi HN — I’ve been working on Gene, a general-purpose, homoiconic language with a Lisp-like surface syntax, but with a core data model that’s intentionally not just “lists all the way down”. What’s unique: the Gene data type Gene’s central idea is a single unified structure that always carries (1) a type, (2) key/value properties, and (3) positional children: (type ^prop1 value1 ^prop2 value2 child1 child2 ...) The key point is that the type, each property name, each property value, and each child can themselves be any Gene data. Everything composes uniformly. In practice this is…
Jan 2026 · github.com · its alternatives →
- 22
As a beginner learning to build ML models, I found it annoying to have to keep printing tensor shapes every other line, having to step through the debugger to check where did I mess up the shapes again. So I built Trickle, it takes the data that flows through your code, caches the types and display them inline (as if you have type annotations). The idea is: "Let types trickle from runtime into your IDE". You get types in Python without having the write them manually. It works by rewriting your Python AST at import time — after every variable assignment, it inserts a lightweight call that…
Mar 2026 · github.com · its alternatives →
- 23
An open-source systems and controls toolbox for Python3 - ilayn/harold
2018 · github.com · its alternatives →
- 24
a Pythonic toolkit for working with Boolean expressions - welchbj/tt
2017 · github.com · its alternatives →
Also compare
- A SQL database implemented purely in TypeScript type annotations alternatives
- A Python with Hindley-Milner-like type annotations, compiling to C alternatives
- A design-by-contract Python package in ~100 lines alternatives
- Python-Type-Challenges, master Python typing with online exercises alternatives
- Bolt – A super-fast, statically-typed scripting language written in C alternatives
- Conway's Game of Life in TypeScript's type system alternatives
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 →