Something went wrong. Try again.
forked from verus-lang/verus
Something went wrong. Try again.
- Languages
- 10
- Total size
- 14 MB
- Primary language
- Rust
Rust: 100%, 14 MB
Python: <1%, 48 kB
Shell: <1%, 18 kB
CSS: <1%, 5.4 kB
HTML: <1%, 3.3 kB
PowerShell: <1%, 1.2 kB
Batch File: <1%, 331 B
Nix: <1%, 325 B
Ruby: <1%, 102 B
Makefile: <1%, 73 B
| Language | Size | Share |
|---|---|---|
| Rust | 14 MB | 100% |
| Python | 48 kB | <1% |
| Shell | 18 kB | <1% |
| CSS | 5.4 kB | <1% |
| HTML | 3.3 kB | <1% |
| PowerShell | 1.2 kB | <1% |
| Batch File | 331 B | <1% |
| Nix | 325 B | <1% |
| Ruby | 102 B | <1% |
| Makefile | 73 B | <1% |