typy is a fragmentary bidirectionally typed language embedded into Python.
- The typy.std library implements a number of useful semantic fragments.
- See tests directory for examples.
- See Omar and Aldrich, GPCE 2016  for a description of how typy is implemented.
Project Status and Contributions
The fragment system was significantly revamped just prior to the GPCE paper, so many previously running examples do not currently work. Working on it!
Subscribe to typy-announce to get occasional updates on the status of typy and the standard library:
Contact Cyrus if you're interested in contributing.
Cyrus Omar (@cyrus-)
Copyright 2016 Cyrus Omar.
typy is released under the permissive MIT License, requiring only attribution in derivative works. See LICENSE for full terms.
 Cyrus Omar and Jonathan Aldrich. Programmable Semantic Fragments. GPCE 2016. https://github.com/cyrus-/papers/raw/master/typy-2016/typy-2016.pdf