gheber / kenzo

A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.

gheber
gheber
Date Created 2014-12-24 (10 years ago)
Commits 448 (last one about a month ago)
Stargazers 52 (0 this week)
Watchers 8 (0 this week)
Forks 8
License other
Ranking

RepositoryStats indexes 632,894 repositories, of these gheber/kenzo is ranked #478,314 (24th percentile) for total stargazers, and #237,628 for total watchers. Github reports the primary language for this repository as Common Lisp, for repositories using this language it is ranked #370/453.

gheber/kenzo is also tagged with popular topics, for these it's ranked: lisp (#203/246)

Other Information

gheber/kenzo has Github issues enabled, there are 26 open issues and 122 closed issues.

Homepage URL: https://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/

Star History

Github stargazers over time

606050504040303020201010002015201520162016201720172018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

9999998.58.588888808 Feb08 Feb16 Feb16 Feb24 Feb24 FebMar '25Mar '2508 Mar08 Mar16 Mar16 Mar24 Mar24 Mar

Recent Commit History

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

10109988776655443322110008 Feb08 Feb16 Feb16 Feb24 Feb24 FebMar '25Mar '2508 Mar08 Mar16 Mar16 Mar24 Mar24 Mar

Yearly Commits

Commits to the default branch (master) per year

20020018018016016014014012012010010080806060404020200020142014201520152016201620172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
1601601401401201201001008080606040402020002015201520162016201720172018201820192019202020202021202120222022202320232024202420252025

Languages

The primary language is Common Lisp but there's also others...

Common LispCommon LispDockerfileDockerfileShellShell

updated: 2025-03-07 @ 07:01am, id: 28444360 / R_kgDOAbIGyA