Jupyter Kernel for ACL2
Project Jupyter exists to develop open-source software, open-standards, and services for interactive computing across dozens of programming languages. (https://jupyter.org/)
ACL2 is a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models. "ACL2" denotes "A Computational Logic for Applicative Common Lisp". (http://www.cs.utexas.edu/users/moore/acl2/)
We follow to the standard jupyter kernel installation. So, you will install the kernel by pip command,
and will call the installation command like,
$ pip3 install jupyter acl2-kernel
$ python3 -m acl2_kernel.install
$ jupyter notebook
You also can see the deep usage by python3 -m acl2_kernel.install --help.
In some case, you might want to run the kernel in the Docker containers. This repository contains Dockerfile example. You can build example image by the following command.
$ docker build . -t acl2
To run the container, you would type the command like
$ docker run --rm -p 8888:8888 acl2 jupyter notebook --ip='0.0.0.0'
A running example is available in the example/ directory.
You can try it on .
Install Poetry and in the root directory, do
$ poetry build
$ pip3 install dist/acl2-kernel-<version>.tar.gz
$ python3 -m acl2_kernel.install --acl2 <path-to-acl2-binary>
This project is released under the BSD 3-clause license.
Copyright (c) 2020, TANIGUCHI Masaya All rights reserved.
We borrow code from the following projects.
FAQs
Jupyter Kernel for ACL2
We found that acl2-kernel demonstrated a healthy version release cadence and project activity because the last version was released less than a year ago. It has 1 open source maintainer collaborating on the project.
Did you know?
Socket for GitHub automatically highlights issues in each pull request and monitors the health of all your open source dependencies. Discover the contents of your packages and block harmful activity before you install or update your dependencies.
Security News
Research
The Socket Research Team breaks down a malicious wrapper package that uses obfuscation to harvest credentials and exfiltrate sensitive data.
Research
Security News
Attackers used a malicious npm package typosquatting a popular ESLint plugin to steal sensitive data, execute commands, and exploit developer systems.
Security News
The Ultralytics' PyPI Package was compromised four times in one weekend through GitHub Actions cache poisoning and failure to rotate previously compromised API tokens.