bzhan / holpy

Implementation of higher-order logic in Python

bzhan
bzhan
Date Created 2021-02-23 (4 years ago)
Commits 4,090 (last one 2 years ago)
Stargazers 64 (0 this week)
Watchers 4 (0 this week)
Forks 6
License bsd-3-clause
Ranking

RepositoryStats indexes 642,855 repositories, of these bzhan/holpy is ranked #420,858 (35th percentile) for total stargazers, and #369,413 for total watchers. Github reports the primary language for this repository as SMT, for repositories using this language it is ranked #14/16.

Star History

Github stargazers over time

707060605050404030302020101000Jul '21Jul '2120222022Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Watcher History

Github watchers over time, collection started in '23

4444333333222220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

1,093 commits on the default branch (main) since jan '22

1.2k1.2k1k1k80080060060040040020020000Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (main) per year

80080070070060060050050040040030030020020010010000202120212022202220242024

Issue History

No issues have been posted

Languages

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

SMTSMTPythonPythonJupyter NotebookJupyter NotebookVueVueTeXTeXC++C++JavaScriptJavaScriptHTMLHTMLTypeScriptTypeScriptShellShell

updated: 2025-02-16 @ 08:47pm, id: 341522539 / R_kgDOFFs4aw