pomagma | An inference engine for extensional untyped λ-calculus

by fritzo C++ Version: 0.2.6 License: Non-SPDX

X-Ray Key Features Code Snippets(3)Community Discussions Vulnerabilities Install Support

kandi X-RAY | pomagma Summary

pomagma is a C++ library. pomagma has no bugs, it has no vulnerabilities and it has low support. However pomagma has a Non-SPDX License. You can download it from GitHub.

Pomagma is an inference engine for extensional untyped λ-join-calculus, a simple model of computation in which nondeterminism gives rise to an elegant gradual type system. Pomagma's base theory is being formally verified in the Hstar project. Pomagma's architecture follows a client-server model, where a Python client library performs high-level syntactic tasks, and a shared C++ database server performs low-level inference work.

Support

Quality

Security

License

Reuse

Support

pomagma has a low active ecosystem.

It has 15 star(s) with 2 fork(s). There are 2 watchers for this library.

It had no major release in the last 12 months.

There are 11 open issues and 17 have been closed. On average issues are closed in 121 days. There are 1 open pull requests and 0 closed requests.

It has a neutral sentiment in the developer community.

The latest version of pomagma is 0.2.6

Quality

pomagma has no bugs reported.

Security

pomagma has no vulnerabilities reported, and its dependent libraries have no vulnerabilities reported.

License

pomagma has a Non-SPDX License.

Non-SPDX licenses can be open source with a non SPDX compliant license, or non open source licenses, and you need to review them closely before use.

Reuse

pomagma releases are not available. You will need to build from source code and install.

Installation instructions, examples and code snippets are available.

Top functions reviewed by kandi - BETA

kandi's functional review helps you automatically verify the functionalities of the libraries and avoid rework.
Currently covering the most popular Java, JavaScript and Python libraries. See a Sample of pomagma

Get all kandi verified functions for this library.

pomagma Key Features

No Key Features are available at this moment for pomagma.

pomagma Examples and Code Snippets

Pomagma,Quick Start

C++

Lines of Code : 17

License : Non-SPDX (NOASSERTION)

Copy

pomagma analyze             # starts server, Ctrl-C to quit

$ pomagma connect           # starts a client session, Ctrl-D to quit
>>> simplify(['APP I I'])
[I]
>>> validate(['I'])
[{'is_bot': False, 'is_top': False}]
>>> s

Pomagma,Installing

C++

Lines of Code : 6

License : Non-SPDX (NOASSERTION)

Copy

git clone https://github.com/fritzo/pomagma
cd pomagma
. install.sh
make small-test     # takes ~5 CPU minutes
make test           # takes ~1 CPU hour

pip install pomagma

Pomagma,Get an Atlas

C++

Lines of Code : 4

License : Non-SPDX (NOASSERTION)

Copy

export AWS_ACCESS_KEY_ID=...        # put your id here
export AWS_SECRET_ACCESS_KEY=...    # put your hey here
pomagma pull                        # downloads latest atlas from S3

pomagma make max_size=10000         # kill and restart at any time

Community Discussions

No Community Discussions are available at this moment for pomagma.Refer to stack overflow page for discussions.

Community Discussions, Code Snippets contain sources that include Stack Exchange Network

Vulnerabilities

No vulnerabilities reported

Install pomagma

Start a local analysis server with the tiny pre-built atlas. Then in another terminal, start an interactive python client session. Alternatively, connect using the Python client library.

Support

For any new features, suggestions and bugs create an issue on GitHub. If you have any questions check and ask questions on community page Stack Overflow .

Find more information at: