{"id":15381002,"url":"https://github.com/tani/acl2-kernel","last_synced_at":"2025-04-14T12:32:20.248Z","repository":{"id":43340391,"uuid":"273101375","full_name":"tani/acl2-kernel","owner":"tani","description":"Jupyter Kernel for ACL2","archived":false,"fork":false,"pushed_at":"2024-08-30T08:00:53.000Z","size":159,"stargazers_count":5,"open_issues_count":11,"forks_count":1,"subscribers_count":5,"default_branch":"master","last_synced_at":"2025-03-30T01:35:17.004Z","etag":null,"topics":["acl2","jupyter","jupyter-kernel","theorem-prover"],"latest_commit_sha":null,"homepage":null,"language":"Jupyter Notebook","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/tani.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.md","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2020-06-17T23:55:26.000Z","updated_at":"2025-02-20T18:34:17.000Z","dependencies_parsed_at":"2022-08-28T10:01:40.466Z","dependency_job_id":"b61b68a7-4d9a-4371-b4ea-5291c94343e2","html_url":"https://github.com/tani/acl2-kernel","commit_stats":{"total_commits":58,"total_committers":4,"mean_commits":14.5,"dds":0.4482758620689655,"last_synced_commit":"9580dfeb84d2278be7ea1456ac48a0e46e2f6c71"},"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tani%2Facl2-kernel","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tani%2Facl2-kernel/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tani%2Facl2-kernel/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tani%2Facl2-kernel/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tani","download_url":"https://codeload.github.com/tani/acl2-kernel/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248881749,"owners_count":21176913,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["acl2","jupyter","jupyter-kernel","theorem-prover"],"created_at":"2024-10-01T14:25:19.371Z","updated_at":"2025-04-14T12:32:20.204Z","avatar_url":"https://github.com/tani.png","language":"Jupyter Notebook","readme":"# acl2-kernel [![PyPI](https://img.shields.io/pypi/v/acl2-kernel)](https://pypi.org/project/acl2-kernel/) [![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/tani/acl2-kernel/master?filepath=Example.ipynb)\n\nJupyter Kernel for ACL2\n\n## What is Jupyter and ACL2?\n\n\u003e Project Jupyter exists to develop open-source software, open-standards, and services for interactive computing across dozens of programming languages. (https://jupyter.org/)\n\n\u003e 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/)\n\n## Usage\n\nWe follow to the standard jupyter kernel installation. So, you will install the kernel by `pip` command,\nand will call the installation command like,\n\n```sh\n$ pip3 install jupyter acl2-kernel\n$ python3 -m acl2_kernel.install\n$ jupyter notebook\n```\n\nYou also can see the deep usage by `python3 -m acl2_kernel.install --help`.\n\n### Docker \n\nIn some case, you might want to run the kernel in the Docker containers.\nThis repository contains Dockerfile example. You can build example image by the following command.\n\n```\n$ docker build . -t acl2\n```\n\nTo run the container, you would type the command like\n\n```\n$ docker run --rm -p 8888:8888 acl2 jupyter notebook --ip='0.0.0.0'\n```\n\nA running example is available in the `example/` directory.\nYou can try it on [![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/tani/acl2-kernel/master?filepath=Example.ipynb).\n\n## Building from source\n\nInstall [Poetry](https://python-poetry.org/) and in the root directory, do\n\n```\n$ poetry build\n$ pip3 install dist/acl2-kernel-\u003cversion\u003e.tar.gz\n$ python3 -m acl2_kernel.install --acl2 \u003cpath-to-acl2-binary\u003e\n```\n\n## Related Projects\n\n- [Jupyter](https://jupyter.org/) - Softwares for interactive computing\n- [ACL2](http://www.cs.utexas.edu/users/moore/acl2/) - Theorem prover based on Common Lisp\n\n## License\n\nThis project is released under the BSD 3-clause license.\n\nCopyright (c) 2020, TANIGUCHI Masaya All rights reserved.\n\nWe borrow code from the following projects.\n\n- Egison Kernel; Copyright (c) 2017, Satoshi Egi and contributors All rights reserved.\n- Bash Kernel; Copyright (c) 2015, Thomas Kluyver and contributors All rights reserved.\n","funding_links":[],"categories":["Miscellaneous ##"],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftani%2Facl2-kernel","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftani%2Facl2-kernel","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftani%2Facl2-kernel/lists"}