Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/mroman42/jupyter-mikrokosmos
A Jupyter kernel for the Mikrokosmos lambda interpreter
https://github.com/mroman42/jupyter-mikrokosmos
jupyter-notebook lambda-calculus
Last synced: 3 months ago
JSON representation
A Jupyter kernel for the Mikrokosmos lambda interpreter
- Host: GitHub
- URL: https://github.com/mroman42/jupyter-mikrokosmos
- Owner: mroman42
- License: gpl-3.0
- Created: 2017-06-15T09:01:19.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2022-05-30T23:04:02.000Z (over 2 years ago)
- Last Synced: 2024-09-30T09:26:01.075Z (3 months ago)
- Topics: jupyter-notebook, lambda-calculus
- Language: JavaScript
- Size: 38.1 KB
- Stars: 9
- Watchers: 4
- Forks: 1
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# IMikrokosmos
**IMikrokosmos** is a Jupyter/IPython kernel for
the [Mikrokosmos](https://github.com/mroman42/mikrokosmos) lambda
interpreter.**Important**: Please note that this Jupyter kernel only works on
Windows on its `windows-support` branch. Certain features, such
as unicode output, cause problems in this case.![mikrokosmos2](https://user-images.githubusercontent.com/5337877/28381708-11a1608a-6cbc-11e7-80da-2292d4716cdb.png)
## Installation
```
sudo pip install imikrokosmos
```### Manual installation
The `kernel.json` file must be placed inside a folder named
`jupyter-mikrokosmos` in one of the following paths```
~/.local/share/jupyter/kernels/jupyter-mikrokosmos/
/usr/share/jupyter/kernels/jupyter-mikrokosmos/
```the `mikrokosmoskernel.py` file must be available for Python on the
working directory, or, more generally, on
the [sys-path](https://docs.python.org/2/library/sys.html#sys.path).## Support and contributing
If you are an user seeking support, please use the
[GitHub issue tracker](https://github.com/mroman42/mikrokosmos/issues)
of the main repository. The main repository also provides a CONTRIBUTING
file where contribution guidelines are detailed.