PyPI Stats

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 217 20
labrat-akhona
semantix-ai

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

3K 2 0
PeRDy
starlette-api

Fire up your models with the flame 🔥

3K 289 16
Neftedollar
ll-lang

lllc — compiler for ll-lang, a minimal statically-typed functional language that compiles to F#, TypeScript, Python, Java, and C#.

2K 2 0
vortico
flama

Fire up your models with the flame 🔥

2K 289 16
LionelAuroux
pyrser

A PEG Parsing Tool

2K 36 8
mbdevpl
static-typing

add static type information to Python abstract syntax trees

1K 8 2
BlockScience
gds-stockflow

Generalized Dynamical Systems — typed compositional specifications for complex systems

679 4 0
BlockScience
gds-games

Typed DSL for Compositional Game Theory — define, verify, and report on open game patterns

651 4 0
watari-ai
nail-lang

A programming language designed to be written by AI, not humans.

637 2 0
vaticle
typeql-grammar

TypeQL Grammar for Python

537 250 54
lucemia
anyuri

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

483 4 0
genropy
smartswitch

Intelligent rule-based function dispatch for Python

477 0 0
BlockScience
gds-owl

Generalized Dynamical Systems — typed compositional specifications for complex systems

412 4 0
BlockScience
gds-psuu

Generalized Dynamical Systems — typed compositional specifications for complex systems

395 4 0
BlockScience
gds-framework

Generalized Dynamical Systems — typed compositional specifications for complex systems

390 4 0
BlockScience
gds-analysis

Generalized Dynamical Systems — typed compositional specifications for complex systems

343 4 0
BlockScience
gds-business

Generalized Dynamical Systems — typed compositional specifications for complex systems

339 4 0
BlockScience
gds-software

Generalized Dynamical Systems — typed compositional specifications for complex systems

332 4 0
BlockScience
gds-control

Generalized Dynamical Systems — typed compositional specifications for complex systems

326 4 0
BlockScience
gds-symbolic

Generalized Dynamical Systems — typed compositional specifications for complex systems

256 4 0
BlockScience
gds-examples

Tutorial examples for gds-framework — six complete domain models demonstrating every framework feature

241 4 0
BlockScience
gds-viz

Mermaid diagram renderers for gds-framework specifications

209 4 0
BlockScience
gds-domains

Generalized Dynamical Systems — typed compositional specifications for complex systems

158 4 0