PyRank

Type System Python Packages

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

Type System for Data Analysis in Python

780K 223 19
vidyadheeshp
vak-lang

A Sanskrit programming language whose type system is Panini's karaka grammar - and whose own compiler is written in itself.

1K 3 0
labrat-akhona
semantix-ai

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

917 5 0
mbdevpl
static-typing

Add static type information into Python abstract syntax trees.

857 8 2
LionelAuroux
pyrser

A PEG Parsing Tool

760 35 7
nelsonduarte
capa-language

A capability-typed language that emits machine-verifiable supply-chain SBOMs by construction: per-function CycloneDX, SPDX, VEX and SLSA artefacts that match the code, not a scanner's guess.

676 3 0
BlockScience
gds-framework

Generalized Dynamical Systems — typed compositional specifications for complex systems

587 7 0
DynamicalSystemsGroup
gds-symbolic

Generalized Dynamical Systems — typed compositional specifications for complex systems

530 7 0
DynamicalSystemsGroup
gds-domains

Generalized Dynamical Systems — typed compositional specifications for complex systems

452 7 0
BlockScience
gds-interchange

Generalized Dynamical Systems — typed compositional specifications for complex systems

444 7 0
lucemia
anyuri

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

403 3 0
vaticle
typeql-grammar

TypeQL: Built for systems, not records

259 256 53
watari-ai
nail-lang

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

256 2 0
BlockScience
gds-games

Generalized Dynamical Systems — typed compositional specifications for complex systems

238 7 0
BlockScience
gds-psuu

Generalized Dynamical Systems — typed compositional specifications for complex systems

164 7 0
Neftedollar
ll-lang

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

163 8 1
BlockScience
gds-stockflow

Generalized Dynamical Systems — typed compositional specifications for complex systems

150 7 0
BlockScience
gds-business

Generalized Dynamical Systems — typed compositional specifications for complex systems

146 7 0
BlockScience
gds-examples

Generalized Dynamical Systems — typed compositional specifications for complex systems

137 7 0
BlockScience
gds-software

Generalized Dynamical Systems — typed compositional specifications for complex systems

136 7 0
BlockScience
gds-viz

Generalized Dynamical Systems — typed compositional specifications for complex systems

134 7 0
BlockScience
gds-control

Generalized Dynamical Systems — typed compositional specifications for complex systems

131 7 0
BlockScience
gds-owl

Generalized Dynamical Systems — typed compositional specifications for complex systems

126 7 0
BlockScience
gds-analysis

Generalized Dynamical Systems — typed compositional specifications for complex systems

120 7 0