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: 10 days 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: 2025-01-31T06:51:20.708Z (20 days 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.
## 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.