jrh13/hol-light

The HOL Light theorem prover

OCamlSageMakefileTeXShellC
This is stars and forks stats for /jrh13/hol-light repository. As of 06 May, 2024 this repository has 347 stars and 73 forks.

Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
geoffder/dometyl-keyboardOCamlOpenSCADShell1800190
grasevski/rsvp-text-analysisPerlShell0000
leoloso/PoPPHPJavaScriptCSS3460390
natashadm24/siegacafeSCSSJavaScriptCSS0040
vantagedesign/ace-documentationSCSSJavaScriptHTML950750
sudofox/shell-mommyShell3720140
yonggekkk/Doprax-XrayShellDockerfile1.4k06.8k0
DesktopECHO/Pi-hole-for-AndroidShell2620300
paradigmxyz/zk-eth-rngSolidityTypeScriptShell1650140
QAInsights/UpTimeSvelteTypeScriptJavaScript2+100