PEP 827 – TS-like type manipulation in Python

What it does

PEP 827 – Type Manipulation PEP 827 – Type Manipulation Author : Michael J. Sullivan <sully at vercel.com>, Daniel W. Park <daniel.park at vercel.com>, Yury Selivanov <yury at vercel.com> Discussions-To : Discourse thread Status : Draft Type : Standards Track Topic : Typing Created : 27-Feb-2026 Python-Version : 3.16 Post-History : 02-Mar-2026 Table of Contents Abstract Motivation Prisma-style ORMs Automatically deriving FastAPI CRUD models dataclasses-style method generation More powerful decorator typing Specification of Some Prerequisites Unpack of typevars for **kwargs Extended Callables Specification Grammar specification of the extensions to the type language Type booleans Conditional…from peps.python.org

• 
  A SQL database implemented purely in TypeScript type annotations2020 · github.com · ▲426

  A SQL database implemented purely in TypeScript type annotations. - codemix/ts-sql

• 
  A Python with Hindley-Milner-like type annotations, compiling to C2015 · github.com · ▲134

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

• 
  A design-by-contract Python package in ~100 lines2022 · github.com · ▲58

  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.

• PT
  Python-Type-Challenges, master Python typing with online exercises2023 · python-type-challenges.zeabur.app · ▲110

  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:&#x2F;&#x2F;github.com&#x2F;laike9m&#x2F;Python-Type-Challenges

• 
  Bolt – A super-fast, statically-typed scripting language written in C2025 · github.com · ▲261

  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…

• 
  Conway's Game of Life in TypeScript's type system2023 · github.com · ▲186

  TypeScript playground: https:&#x2F;&#x2F;www.typescriptlang.org&#x2F;play?#code&#x2F;KYDwDg9gTgLgBDAnmY...

• 
  /dev/null▲483

  a social network for devs

  Dev tools · 3d ago · dev-null.sh

• 
  Whiteboard (YC W26) – an open-source IDE for thoughtful software design▲423

  open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

  Dev tools · 27d ago · github.com

• 
  Reladraw – A diagram language where you decide where to place things▲411

  Contribute to reladraw/reladraw development by creating an account on GitHub.

  Dev tools · 25d ago · github.com

• 
  OpenBot▲362

  Grok Bot alternative: free, local, open-source, multiplayer

  Dev tools · 23d ago · openbot.run

• 
  Talanoa▲345

  Hi 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▲332

  One MCP for everything your agents need: apps, memory, tools

  Dev tools · 28d ago · corespeed.io

• 
  Lightfield▲901

  AI-native CRM that builds itself and does work for you

  AI · Mar 2026 · lightfield.app

• 
  Tobira.ai▲728

  A network where AI agents find deals for their humans

  AI · Mar 2026 · tobira.ai

• 
  Claude Import Memory▲716

  Switch from ChatGPT to Claude with import memory feature

  AI · Mar 2026 · claude.com

• 
  Littlebird▲709

  Littlebird remembers everything across your meetings, messages, docs, and apps, then takes action so you can recall any detail and never lose context.

  AI · Mar 2026 · littlebird.ai

• 
  Viktor.com▲702

  Your AI Coworker that proactively executes tasks

  AI · Mar 2026 · viktor.com

• 
  Jupid▲659

  File your taxes with Claude Code

  Commerce · Mar 2026 · jupid.com