L4Ka development repositories (@l4ka)
Guthub

l4ka

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    337
  • Global Org. Rank 30,264 (Top 10 %)
  • Registered about 13 years ago
  • Most used languages
    C++
         50.0 %
    C
         25.0 %
    Assembly
         25.0 %

Top repositories

1

pistachio

L4Ka::Pistachio micro-kernel
C++
271
star
2

hazelnut

L4Ka::Hazelnut micro-kernel
Assembly
32
star
3

idl4

L4Ka::IDL4 Compiler
C++
18
star
4

afterburner

L4Ka::Afterburner virtualization project
C
16
star