Something went wrong. Try again.
forked from coq/coq
Something went wrong. Try again.
- Languages
- 14
- Total size
- 17 MB
- Primary language
- OCaml
OCaml: 73%, 13 MB
Verilog: 23%, 4.0 MB
Shell: 2%, 242 kB
TeX: 1%, 204 kB
C: <1%, 99 kB
Makefile: <1%, 46 kB
Python: <1%, 36 kB
Nix: <1%, 14 kB
Emacs Lisp: <1%, 10 kB
CSS: <1%, 7.2 kB
Docker: <1%, 7.0 kB
HTML: <1%, 3.3 kB
JavaScript: <1%, 2.4 kB
Batch File: <1%, 2.3 kB
| Language | Size | Share |
|---|---|---|
| OCaml | 13 MB | 73% |
| Verilog | 4.0 MB | 23% |
| Shell | 242 kB | 2% |
| TeX | 204 kB | 1% |
| C | 99 kB | <1% |
| Makefile | 46 kB | <1% |
| Python | 36 kB | <1% |
| Nix | 14 kB | <1% |
| Emacs Lisp | 10 kB | <1% |
| CSS | 7.2 kB | <1% |
| Docker | 7.0 kB | <1% |
| HTML | 3.3 kB | <1% |
| JavaScript | 2.4 kB | <1% |
| Batch File | 2.3 kB | <1% |