Something went wrong. Try again.
mrrrp mrrrp brrr formal verification go brrr
Something went wrong. Try again.
- Languages
- 23
- Total size
- 139 kB
- Primary language
- Rust
Rust: 60%, 83 kB
HCL: 8%, 11 kB
OpenSCAD: 7%, 10 kB
Ruby: 6%, 8.9 kB
C: 3%, 3.6 kB
C++: 2%, 2.9 kB
HTML: 2%, 2.8 kB
Shell: 2%, 2.5 kB
PowerShell: 2%, 2.2 kB
Go: 1%, 2.0 kB
Gleam: 1%, 1.5 kB
TypeScript: 1%, 1.4 kB
JavaScript: <1%, 1.2 kB
CSS: <1%, 864 B
Batch File: <1%, 791 B
Python: <1%, 738 B
Jule: <1%, 666 B
Jupyter Notebook: <1%, 561 B
MoonBit: <1%, 561 B
Makefile: <1%, 514 B
Scheme: <1%, 450 B
Common Lisp: <1%, 433 B
Docker: <1%, 376 B
| Language | Size | Share |
|---|---|---|
| Rust | 83 kB | 60% |
| HCL | 11 kB | 8% |
| OpenSCAD | 10 kB | 7% |
| Ruby | 8.9 kB | 6% |
| C | 3.6 kB | 3% |
| C++ | 2.9 kB | 2% |
| HTML | 2.8 kB | 2% |
| Shell | 2.5 kB | 2% |
| PowerShell | 2.2 kB | 2% |
| Go | 2.0 kB | 1% |
| Gleam | 1.5 kB | 1% |
| TypeScript | 1.4 kB | 1% |
| JavaScript | 1.2 kB | <1% |
| CSS | 864 B | <1% |
| Batch File | 791 B | <1% |
| Python | 738 B | <1% |
| Jule | 666 B | <1% |
| Jupyter Notebook | 561 B | <1% |
| MoonBit | 561 B | <1% |
| Makefile | 514 B | <1% |
| Scheme | 450 B | <1% |
| Common Lisp | 433 B | <1% |
| Docker | 376 B | <1% |