Metadata-Version: 2.1
Name: ktypes
Version: 0.0.1
Summary: KTypes: Type Theoretic Data Annotations
Home-page: https://github.com/ktvng/ktypes
Author: ktvng
Author-email: k.tang@yale.edu
License: MIT
Project-URL: Source Code, https://github.com/ktvng/ktype
Project-URL: Bug Tracker, https://github.com/ktvng/ktype/issues
Description: KTypes or KnownTypes is a an open-source library which provides a framework to 
        formally define complex data types and functions between data types inside a 
        formal type theoretic framework.
        
        The type-specified universe coexists with the standard Python type system, 
        allowing for seamless switching between formally typed functions and traditional 
        pythonic methods. Runtime type-checking and library recursors serve as tools 
        that ensure type correctness. A library parser is provided to facilitate the 
        pipeline of ad-hoc data into the formal typed setting of KTypes.
        
        
Platform: UNKNOWN
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Classifier: Development Status :: 2 - Pre-Alpha
Requires-Python: >=3.6
Description-Content-Type: text/markdown
