Projects: pypi: ghc

https://packages.ecosyste.ms/registries/pypi.org/packages/ghc

List up GitHub user / org repositories filtered by topics (ghc = GitHub Collector)
9 versions
Latest release: almost 6 years ago
65 downloads last month

Enhanced Analysis
Repository Activity:
Repository Owner: ma3ru (user)
README Analysis:
Science Score: 65/100
Starting Score: 100 points
Bonuses:
  • +4 Science terms in README
    2 scientific terms found in README
Penalties:
  • -10 PyPI ecosystem
    General-purpose ecosystem
  • -15 No science keywords
    No scientific terms found in keywords/classifiers
  • -10 No science terms in description
    No scientific terms found in description

Very Likely Science (65)

Papers Mentioning ghc 1

10.1007/s10817-020-09552-1
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL
Cited by: 0
Author(s): René Thiemann, Ralph Bottesch, Jose Divasón, Max W. Haslbeck, Sebastiaan J. C. Joosten, Akihisa Yamada
Software Mentions: 1
Published: about 6 years ago