kovvalsky / LangPro

Tableau-based Theorem Prover for Natural Logic and Language

kovvalsky
kovvalsky
Date Created 2017-03-05 (8 years ago)
Commits 138 (last one 2 years ago)
Stargazers 116 (0 this week)
Watchers 8 (0 this week)
Forks 12
License bsd-3-clause
Ranking

RepositoryStats indexes 632,768 repositories, of these kovvalsky/LangPro is ranked #277,167 (56th percentile) for total stargazers, and #237,675 for total watchers. Github reports the primary language for this repository as Prolog, for repositories using this language it is ranked #29/61.

kovvalsky/LangPro is also tagged with popular topics, for these it's ranked: natural-language-processing (#812/1472)

Other Information

kovvalsky/LangPro has Github issues enabled, there is 1 open issue and 4 closed issues.

Star History

Github stargazers over time

1201201001008080606040402020002018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

8888777777666620232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

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

2222111111000020232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (master) per year

6060505040403030202010100020172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
554.54.5443.53.5332.52.5221.51.5110.50.5002018201820192019202020202021202120222022202320232024202420252025

Languages

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

PrologPrologRakuRakuPerlPerlEuphoriaEuphoriaHTMLHTMLRoffRoffPythonPythonCSSCSSXSLTXSLTJavaScriptJavaScript

updated: 2025-03-11 @ 01:39am, id: 83994271 / R_kgDOBQGmnw