This is stars and forks stats for /Nianwen/Automated-Theorem-Proving-System repository. As of 03 May, 2024 this repository has 1 stars and 0 forks.
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| kornypoet/dotfiles | Emacs LispShellOther | 3 | 0 | 4 | 0 |
| anoma/zkp-compiler-shootout | RustCommon LispParrot | 109 | 0 | 9 | 0 |
| yuya373/emacs-slack | Emacs LispShell | 1.1k | 0 | 117 | 0 |
| toshi-kawanishi/trr | Emacs LispShellC | 1 | 0 | 0 | 0 |
| csnwc/Exercises-In-C | TeXCCommon Lisp | 35 | 0 | 17 | 0 |
| jsk-enshu/robot-programming | Common LispPythonC++ | 35 | 0 | 256 | 0 |
| syohex/emacs-moz-markdown-viewer | Emacs Lisp | 2 | 0 | 0 | 0 |
| minad/tempel | Emacs Lisp | 411 | 0 | 23 | 0 |
| davazp/x-html-template | Common Lisp | 0 | 0 | 0 | 0 |
| Misterio77/nix-config | NixShellEmacs Lisp | 407 | 0 | 32 | 0 |