← All repos

lk

LK embedded kernel

operating-systemrtos
Browse cluster: Lean4 Formal Verification & Cryptography
3,360commits
133contributors
10languages

Tech stack & purpose

Not yet analyzed.

Languages

C
69.5%
C++
19.8%
Assembly
3.2%
Makefile
3.2%
Python
1.5%
Shell
1.1%
Linker Script
0.7%
Rust
0.7%
SmPL
0.2%
Tcl
0.0%

Contributors (top 30 of 133)