PyPI Stats

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
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.

4K 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

735 4 0
BlockScience
gds-games

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

716 4 0
watari-ai
nail-lang

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

587 2 0
vaticle
typeql-grammar

TypeQL Grammar for Python

506 250 54
genropy
smartswitch

Intelligent rule-based function dispatch for Python

480 0 0
lucemia
anyuri

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

458 4 0
BlockScience
gds-owl

Generalized Dynamical Systems — typed compositional specifications for complex systems

431 4 0
BlockScience
gds-psuu

Generalized Dynamical Systems — typed compositional specifications for complex systems

430 4 0
BlockScience
gds-framework

Generalized Dynamical Systems — typed compositional specifications for complex systems

404 4 0
BlockScience
gds-business

Generalized Dynamical Systems — typed compositional specifications for complex systems

386 4 0
BlockScience
gds-analysis

Generalized Dynamical Systems — typed compositional specifications for complex systems

372 4 0
BlockScience
gds-software

Generalized Dynamical Systems — typed compositional specifications for complex systems

371 4 0
BlockScience
gds-control

Generalized Dynamical Systems — typed compositional specifications for complex systems

369 4 0
BlockScience
gds-symbolic

Generalized Dynamical Systems — typed compositional specifications for complex systems

288 4 0
BlockScience
gds-examples

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

225 4 0
BlockScience
gds-viz

Mermaid diagram renderers for gds-framework specifications

201 4 0
BlockScience
gds-domains

Generalized Dynamical Systems — typed compositional specifications for complex systems

190 4 0