EugeneLoy / coq_jupyter

Jupyter kernel for Coq

EugeneLoy
EugeneLoy
Date Created 2018-12-26 (6 years ago)
Commits 155 (last one about a year ago)
Stargazers 96 (0 this week)
Watchers 5 (0 this week)
Forks 8
License apache-2.0
Ranking

RepositoryStats indexes 628,836 repositories, of these EugeneLoy/coq_jupyter is ranked #314,098 (50th percentile) for total stargazers, and #323,045 for total watchers. Github reports the primary language for this repository as Python, for repositories using this language it is ranked #59,460/128,166.

EugeneLoy/coq_jupyter is also tagged with popular topics, for these it's ranked: jupyter-notebook (#395/637),  kernel (#370/618),  jupyter (#384/574)

Other Information

EugeneLoy/coq_jupyter has 1 open pull request on Github, 5 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 14 open issues and 35 closed issues.

There have been 11 releases, the latest one was published on 2024-01-25 (about a year ago) with the name v1.6.2.

Star History

Github stargazers over time

10010090908080707060605050404030302020101000202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

5555444444333320232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

32 commits on the default branch (master) since jan '22

3535303025252020151510105500Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (master) per year

90908080707060605050404030302020101000201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
505045454040353530302525202015151010550020192019202020202021202120222022202320232024202420252025

Languages

The primary language is Python but there's also others...

PythonPythonJavaScriptJavaScriptShellShellMakefileMakefile

updated: 2025-03-19 @ 03:37am, id: 163189275 / R_kgDOCboSGw