An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

pypi.org "formal-semantics" keyword

View the packages on the pypi.org package registry that are tagged with the "formal-semantics" keyword.

pystc 2.0.0
A simple but extensible Python module for sentences
2 versions - Latest release: about 1 year ago - 97 downloads last month - 0 stars on GitHub - 1 maintainer
pydmrs 1.0.6
A library for manipulating DMRS graphs
9 versions - Latest release: about 8 years ago - 2 dependent repositories - 223 downloads last month - 14 stars on GitHub - 1 maintainer
montague-nlu 0.1.6
Natural language understanding system
7 versions - Latest release: over 6 years ago - 1 dependent repositories - 226 downloads last month - 4 stars on GitHub - 1 maintainer