Type System Python Packages

visions

Type System for Data Analysis in Python

1.5M 222 20

static-typing

Add static type information into Python abstract syntax trees.

3K 8 2

pyrser

A PEG Parsing Tool

2K 36 7

nail-lang

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

745 2 0

semantix-ai

A Semantic Type System for AI outputs — validate intent, not just shape.

699 3 0

typeql-grammar

TypeQL: Built for systems, not records

542 252 54

smartswitch

Intelligent rule-based function dispatch for Python

499 0 0

ll-lang

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

469 8 1

gds-games

Generalized Dynamical Systems — typed compositional specifications for complex systems

454 4 0

gds-stockflow

Declarative stock-flow DSL over GDS semantics — system dynamics with formal guarantees

360 4 0

gds-framework

Generalized Dynamical Systems — typed compositional specifications for complex systems

349 4 0

gds-psuu

Parameter space search under uncertainty for the GDS ecosystem

291 4 0

gds-analysis

Dynamical analysis for GDS specifications — bridges gds-framework to gds-sim

264 4 0

gds-examples

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

251 4 0

gds-business

Business dynamics DSL over GDS semantics — causal loop diagrams, supply chain networks, and value stream maps with formal verification

250 4 0

gds-owl

OWL/Turtle, SHACL, and SPARQL for gds-framework specifications

245 4 0

gds-software

Software architecture DSL over GDS semantics — DFDs, state machines, components, C4, ERDs, and dependency graphs with formal verification

244 4 0

gds-viz

Mermaid diagram renderers for gds-framework specifications

242 4 0

gds-control

State-space control DSL over GDS semantics — control theory with formal guarantees

233 4 0

anyuri

Polymorphic URI types for Python: AnyUri, HttpUri, FileUri, GSUri, S3Uri, AzureUri, R2Uri, B2Uri

185 4 0

gds-symbolic

Symbolic math bridge for the GDS ecosystem — SymPy to ODE compilation

182 4 0

gds-domains

Domain DSLs for the GDS ecosystem — stockflow, control, business, software, games, symbolic

131 4 0

type-templating

C++-style templated types for python

129 1 0

gds-interchange

Bidirectional format bridges (OWL/RDF, SysML, FMI) for gds-framework specifications

128 4 0