python-typelanguage

A type language for Python built for communication (it also enforces them dynamically or statically, and infers them)

Downloads
40
Stars
12
Committers
1
View Code on GitHub
Ecosystems: Python

This project now lives at https://github.com/kennknowles/python-rightarrow

Many thanks to @ccshan for inspiring the name.

Package Rankings
Top 30.04% on Pypi.org
Related Projects
python-either

Maybe and Either data structures for Python

20 Aug 2012 18
python-rightarrow

A language for describing Python programs with concise higher-order annotations like "(a -> a) ->...

16 Mar 2013 59
Typee

A new generic object oriented programming language.

07 Jul 2018 10
CLU

Common Lightweight Utilities, or Command-Line Utilities (your pick)

16 Jun 2019 3
typical

Typical: Fast, simple, & correct data-validation using Python 3 typing.

15 Mar 2019 182
python-jsonpath-rw

A robust and significantly extended implementation of JSONPath for Python, with a clear AST for m...

09 Feb 2013 597
CPython-Internals

Dive into CPython internals, trying to illustrate every detail of CPython implementation

15 Apr 2019 4,125
typeshed

Collection of library stubs for Python, with static types

05 Mar 2015 4,048
typing_extensions

Backported and experimental type hints for Python

19 May 2022 378
caseless-dictionary

simple, fast, typed, and tested implementation for a python3.6+ case-insensitive and attribute c...

23 Jan 2023 2
lispy

An implementation of scheme that can call python modules

26 Jun 2013 20
Akilang

A compiler for a simple language, built with Python and LLVM

16 May 2018 99
typeit

Infer Python types from JSON data, use them for auto serialisation and parsing

17 Jun 2018 13
typing

Python static typing home. Hosts the documentation and a user help forum.

29 Sep 2014 1,543
mypy

Optional static typing for Python

07 Dec 2012 17,490