This is stars and forks stats for /acl2/acl2 repository. As of 26 Apr, 2024 this repository has 315 stars and 100 forks.
ACL2 System and Community Books WARNING: On rare occasions development versions of ACL2 may be incomplete, fragile, or unable to pass the usual regression tests. You may choose to download an official ACL2 release as described on the ACL2 Home Page or below in this README. The ACL2 theorem proving environment consists of two parts: The ACL2 System and The ACL2 Books. This repository contains both. ACL2 System The included version of the ACL2 System is the latest, under-development version of the...
ACL2 System and Community Books WARNING: On rare occasions development versions of ACL2 may be incomplete, fragile, or unable to pass the usual regression tests. You may choose to download an official ACL2 release as described on the ACL2 Home Page or below in this README. The ACL2 theorem proving environment consists of two parts: The ACL2 System and The ACL2 Books. This repository contains both. ACL2 System The included version of the ACL2 System is the latest, under-development version of the...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
octocat/octocat.github.io | CSSHTMLJavaScript | 473 | 0 | 340 | 0 |
suruibuas/eui | CSSJavaScriptLess | 391 | 0 | 122 | 0 |
cve-north-stars/cve-north-stars.github.io | HTMLDockerfileLua | 34 | 0 | 3 | 0 |
Yashkapure06/Blogging-Website | EJSJavaScriptCSS | 13 | +1 | 24 | 0 |
Gisithj/testQ | EJSJavaScriptCSS | 0 | 0 | 6 | 0 |
nbw/figmex | ElixirTypeScriptCSS | 75 | 0 | 11 | 0 |
skeeto/emacs-memoize | Emacs LispMakefile | 48 | 0 | 14 | 0 |
wundergraph/wunderbase | GoHTMLShell | 502 | 0 | 19 | 0 |
evcc-io/evcc | GoVueJavaScript | 2k | 0 | 377 | 0 |
aceberg/WatchYourLAN | GoHTMLShell | 704 | 0 | 33 | 0 |