| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| acl2/acl2 | Common LispNewLispVerilog | 312 | 0 | 98 | 0 |
Popular technologies
- Other14058 reps
- JavaScript13175 reps
- Shell12728 reps
- HTML10553 reps
- Python10162 reps
- CSS8059 reps
- Makefile5973 reps
- C5504 reps
- TypeScript5334 reps
- C++4903 reps
- Dockerfile4521 reps
- Java3264 reps
- SCSS2873 reps
- Ruby2706 reps
- Go2552 reps
- CMake2311 reps
- C#2295 reps
- Jupyter Notebook1929 reps
- Batchfile1835 reps
- Rust1798 reps
- PHP1711 reps
- PowerShell1688 reps
- Lua1577 reps
- Swift1547 reps
- Vue1538 reps
Popular topics
- hacktoberfest2579 reps
- python1353 reps
- javascript1263 reps
- android887 reps
- typescript804 reps
- rust776 reps
- machine-learning758 reps
- docker746 reps
- react702 reps
- java695 reps
- golang689 reps
- linux682 reps
- deep-learning663 reps
- kubernetes659 reps
- ios601 reps
- windows596 reps
- chatgpt583 reps
- security566 reps
- go542 reps
- php537 reps
- vue499 reps
- macos499 reps
- flutter490 reps
- neovim487 reps
- nodejs468 reps