PyRank

Type System Python Packages

Python packages with the GitHub topic type-system. Sorted by relevance, with stars and monthly downloads.
dylan-profiler
visions

Type System for Data Analysis in Python

1.6M 218 20
PeRDy
starlette-api

Fire up your models with the flame 🔥

2K 288 16
vortico
flama

Fire up your models with the flame 🔥

2K 288 16
labrat-akhona
semantix-ai

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

2K 2 0
LionelAuroux
pyrser

A PEG Parsing Tool

1K 36 8
mbdevpl
static-typing

Add static type information into Python abstract syntax trees.

1K 8 2
BlockScience
gds-stockflow

Generalized Dynamical Systems — typed compositional specifications for complex systems

626 4 0
Neftedollar
ll-lang

Write once → compile to F#, TypeScript, Python, Java, C#. LLM-optimized syntax. Self-hosting.

625 7 1
vaticle
typeql-grammar

TypeQL Grammar for Python

562 252 54
BlockScience
gds-owl

Generalized Dynamical Systems — typed compositional specifications for complex systems

549 4 0
BlockScience
gds-framework

Generalized Dynamical Systems — typed compositional specifications for complex systems

495 4 0
watari-ai
nail-lang

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

475 2 0
BlockScience
gds-analysis

Generalized Dynamical Systems — typed compositional specifications for complex systems

470 4 0
BlockScience
gds-games

Generalized Dynamical Systems — typed compositional specifications for complex systems

416 4 0
genropy
smartswitch

Intelligent rule-based function dispatch for Python

395 0 0
BlockScience
gds-interchange

Generalized Dynamical Systems — typed compositional specifications for complex systems

328 4 0
BlockScience
gds-sim

Generalized Dynamical Systems — typed compositional specifications for complex systems

282 4 0
BlockScience
gds-business

Generalized Dynamical Systems — typed compositional specifications for complex systems

277 4 0
BlockScience
gds-psuu

Generalized Dynamical Systems — typed compositional specifications for complex systems

277 4 0
BlockScience
gds-control

Generalized Dynamical Systems — typed compositional specifications for complex systems

241 4 0
BlockScience
gds-software

Generalized Dynamical Systems — typed compositional specifications for complex systems

235 4 0
BlockScience
gds-examples

Generalized Dynamical Systems — typed compositional specifications for complex systems

234 4 0
lucemia
anyuri

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

206 4 0
BlockScience
gds-symbolic

Generalized Dynamical Systems — typed compositional specifications for complex systems

200 4 0