codelabs (@codelabs-ch)
Guthub

codelabs-ch

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    89
  • Global Org. Rank 61,107 (Top 20 %)
  • Registered about 11 years ago
  • Most used languages
    Ada
         33.3 %
    C
         33.3 %
    Makefile     16.7 %
    JavaScript
         16.7 %
  • Location πŸ‡¨πŸ‡­ Switzerland
  • Country Total Rank 2,433
  • Country Ranking
    Ada
         1
    Makefile     172
    C
         999
    JavaScript
         3,486

Top repositories

1

muen

Official mirror of the Muen Separation Kernel repository
Ada
80
star
2

xia

XIA - XPath In Ada
Ada
2
star
3

filo

Mirror of coreboot's FILO bootloader
C
1
star
4

xv6-muen

xv6 teaching OS with adaptations for Muen SK
C
1
star
5

perfcharts-muen

Muen performance charts (debug build)
JavaScript
1
star
6

buildroot-muen

Buildroot for Muen SK Linux guests
Makefile
1
star