https://github.com/lapets/pydrogen
Python library for building embedded languages within Python that have alternative operational semantics and abstract interpretations.
https://github.com/lapets/pydrogen
abstract-interpretation abstract-syntax decorators overloading python-library semantics static-analysis
Last synced: 5 months ago
JSON representation
Python library for building embedded languages within Python that have alternative operational semantics and abstract interpretations.
- Host: GitHub
- URL: https://github.com/lapets/pydrogen
- Owner: lapets
- License: mit
- Created: 2015-10-30T03:18:32.000Z (over 9 years ago)
- Default Branch: master
- Last Pushed: 2017-09-17T18:11:29.000Z (over 7 years ago)
- Last Synced: 2023-05-15T02:15:53.389Z (almost 2 years ago)
- Topics: abstract-interpretation, abstract-syntax, decorators, overloading, python-library, semantics, static-analysis
- Language: Python
- Homepage: https://pydrogen.org
- Size: 35.2 KB
- Stars: 9
- Watchers: 3
- Forks: 0
- Open Issues: 1