Type System for Data Analysis in Python

A PEG Parsing Tool

custom type systems for python in prolog: http://alehander42.me/prolog_type_systems

Hindley–Milner type inference implemented in Python.

Construction replaces computation. A Pydantic architecture where the types are the program.

Add static type information into Python abstract syntax trees.

Polymorphic URI types for Python: AnyUri, HttpUri, FileUri, GSUri, S3Uri, AzureUri and more. Pydantic v1/v2 compatible.

Generalized Dynamical Systems — typed compositional specifications for complex systems

A semantic type system for validating LLM output intent — Pydantic for meaning.

A tiny effect-typed language exploring a trust layer for AI-written code. AI proposes, the compiler disposes.

Row + Implicit arguments + MLF.

A capability-centric programming language. Hand-written compiler in Python.

NAIL: Native AI Language — A programming language designed for AI to write, not humans to read

A programming language for hybrid AI and quantum computing. Compile-time tensor shape checking, linear quantum types enforcing the No-Cloning Theorem, and native autodiff across classical-quantum boundaries via the Parameter Shift Rule. Transpiles to Python.

A pure functional language whose compiler is written in Glass and rebuilds itself to byte-identical C — carrying a from-scratch zk-STARK prover whose proofs are judged by three independent lineages. Write a function, get a proof; exit codes carry the verdict. Research-grade, honestly bounded.

C++-style templated types for python

implementation of HMF type system, for higher rank types

C-Like compiler for a niche architecture.

PEP 827 type manipulation library for Python 3.14+. Runtime type evaluation and transformation operators inspired by TypeScript.

Human-readable rendering of Python type hints.