typy
Type system library
A Python library implementing a fragmentary bidirectional type system with support for pattern matching and algebraic data types.
A fragmentary bidirectional type system as a Python library
52 stars
5 watching
1 forks
Language: Python
last commit: over 6 years ago algebraic-data-typesfunctional-languagepattern-matchingprogramming-languagepython
Related projects:
| Repository | Description | Stars |
|---|---|---|
 loyada/typedpy | A comprehensive type system for Python that provides strict type checking and conversion between Python data structures and JSON-like formats. | 16 |
 messense/typst-py | Provides a Python interface to compile and query markup-based typesetting system typst. | 126 |
 richardkiss/pycoin | A Python utility library for interacting with Bitcoin and alt-coins, providing key generation, BIP32 support, and network handling. | 1,402 |
 stephenmcd/hot-redis | A Python library providing rich data types backed by Redis, enabling atomic network operations. | 289 |
 jorenham/scipy-stubs | Provides type hints and auto-completion support for SciPy libraries without requiring additional configuration or static type-checker plugins. | 23 |
 rustedpy/result | A library providing a simple, type-safe way to handle values with potential errors in Python 3. | 1,625 |
 kotlinisland/basedtyping | A collection of helpers and utilities to aid in dealing with types at static analysis and runtime. | 9 |
 thalesians/pythalesians | A Python library providing tools and utilities for mathematical modeling, data analysis, and scientific computation. | 61 |
 wishtack/pysynthetic | A set of tools that simplify Python class creation by reducing boilerplate code and enforcing type checking. | 15 |
 harisekhon/pylib | A utility library providing various validation and utility functions for Python applications. | 12 |
 dry-python/classes | Enables typed polymorphism and type-safe business logic in Python without inheritance or interfaces. | 678 |
 web2py/pydal | A pure Python Database Abstraction Layer that generates SQL/noSQL in real-time for different databases. | 500 |
 dgilland/pydash | A comprehensive set of functional utilities for Python | 1,341 |
 jaimegildesagredo/booby | A Python library for defining and validating data structures with built-in support for complex data models and relationships. | 176 |