Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / lclem / agda-kernel
An experimental Agda kernel for Jupyter
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lclem%2Fagda-kernel
Stars: 24
Forks: 2
Open Issues: 4
License: cc-by-4.0
Language: Jupyter Notebook
Repo Size: 19.9 MB
Dependencies:
9
Created: about 5 years ago
Updated: 4 months ago
Last pushed: about 2 years ago
Last synced: 11 days ago
Topics: agda, jupyter, jupyter-notebook
Files
Loading...
Readme
Loading...
Dependencies
requirements.txt
pypi
- codecov *
- jupyter *
- pytest *
- pytest-cov *
setup.py
pypi
- IPython *
- ipykernel *
- jupyter_client *