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: about 6 years ago algebraic-data-typesfunctional-languagepattern-matchingprogramming-languagepython
Related projects:
| Repository | Description | Stars |
|---|---|---|
 ethanhs/python-typecheckers | A comprehensive collection of Python type checkers, categorized by syntax and execution time. | 62 |
 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. | 115 |
 richardkiss/pycoin | A Python utility library for working with Bitcoin and alt-coins. | 1,400 |
 stephenmcd/hot-redis | A Python library providing rich data types backed by Redis, enabling atomic network operations. | 290 |
 jorenham/scipy-stubs | Provides type hints and stubs for SciPy libraries to facilitate code completion and error detection in Python. | 16 |
 rustedpy/result | A library providing a simple, type-safe way to handle values with potential errors in Python 3. | 1,597 |
 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 | Tools to simplify Python class creation with type checking and strict contract enforcement | 15 |
 harisekhon/pylib | A utility library providing various validation and utility functions for Python applications. | 11 |
 dry-python/classes | Typed polymorphism primitives for Python business logic | 670 |
 web2py/pydal | A pure Python Database Abstraction Layer that generates SQL/noSQL in real-time for different databases. | 498 |
 dgilland/pydash | A comprehensive set of functional utilities for Python | 1,331 |
 jaimegildesagredo/booby | A Python library for defining and validating data structures with built-in support for complex data models and relationships. | 177 |