Genode Labs (@genodelabs)
Guthub

genodelabs

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,065
  • Global Org. Rank 14,672 (Top 5 %)
  • Registered almost 13 years ago
  • Most used languages
    C++
         44.4 %
    C
         33.3 %
    CSS
         11.1 %
    Tcl     11.1 %
  • Location πŸ‡©πŸ‡ͺ Germany
  • Country Total Rank 1,520
  • Country Ranking
    Tcl     20
    C++
         115
    CSS
         489
    C
         662

Top repositories

1

genode

Genode OS Framework
C++
980
star
2

genode-world

Collection of community-maintained components for Genode
C
41
star
3

goa

Tool for streamlining the development of Genode applications
Tcl
19
star
4

genodians.org

Website for stories around the Genode operating system
CSS
16
star
5

genode-allwinner

Allwinner SoC support for the Genode OS framework
C
13
star
6

genode-rpi

Raspberry Pi family support for Genode OS framework
C++
11
star
7

genode-imx

i.MX SoC family support for the Genode OS framework
C
8
star
8

genode-riscv

RISC-V board support
C++
5
star
9

genode-zynq

Zynq SoC support for the Genode OS framework
C++
4
star