typy
by cyrus-
A fragmentary bidirectional type system as a Python library
AI summary
Type system library
A Python library implementing a fragmentary bidirectional type system with support for pattern matching and algebraic data types.
- stars
- 52
- forks
- 1
- watching
- 5
Similar projects
Found by comparing what the projects do, not just their names.
Type checker
A comprehensive type system for Python that provides strict type checking and conversion between Python data structures and JSON-like formats.
Typesetting library
Provides a Python interface to compile and query markup-based typesetting system typst.
Coin toolkit
A Python utility library for interacting with Bitcoin and alt-coins, providing key generation, BIP32 support, and network handling.
Data Type Library
A Python library providing rich data types backed by Redis, enabling atomic network operations.
SciPy stubs
Provides type hints and auto-completion support for SciPy libraries without requiring additional configuration or static type-checker plugins.
rustedpy/result1.6K
Error handling library
A library providing a simple, type-safe way to handle values with potential errors in Python 3.
Type utility library
A collection of helpers and utilities to aid in dealing with types at static analysis and runtime.
Mathematical modeling library
A Python library providing tools and utilities for mathematical modeling, data analysis, and scientific computation.
Class builder
A set of tools that simplify Python class creation by reducing boilerplate code and enforcing type checking.
Utility library
A utility library providing various validation and utility functions for Python applications.
Type system extension
Enables typed polymorphism and type-safe business logic in Python without inheritance or interfaces.
web2py/pydal500
Database Abstraction Layer
A pure Python Database Abstraction Layer that generates SQL/noSQL in real-time for different databases.
dgilland/pydash1.3K
utility library
A comprehensive set of functional utilities for Python
Data modeling library
A Python library for defining and validating data structures with built-in support for complex data models and relationships.
