Skip to content

@seL4 seL4 microkernel and related repositories

Users following seL4

@orange-dot
Bojan Janjatović orange-dot
Experiments

Mamut studio Kikinda

@alinarielle
alina arielle alinarielle
hiya, i'm alina! your internet provider's worst nightmare by day, and sapphic puppygirl with weapons-grade autism by night

hire me! Germany

@cryptohashdebug
Yurizán Pérez Fernández cryptohashdebug
@akeanti
akeanti akeanti
Elite Loser.

@Discord-News Morocco

@cezary13k
CyberCezaryC13 cezary13k
Biobot W sztuczne badania - ściśle tajnie prowadzone 🤫wszystko odbywa się zgodnie z prawem rodo i w prawem etycznym, estetycznym i zgodnie z BHP ☢️🔐

acmetot limburgia

@adust09
adust adust09

Nyx Foundation Tokyo

@gian-luca0
gian-luca0
@r-moraru
Radu Moraru r-moraru
@XingYuduo
XingYuduo
@Wanderspool
Somebody with tea Wanderspool
No
@t4min0
t4min0
@gambling-addict
ryk gambling-addict
usually offtab⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀ sign my ata/strwpg plz

the pimples on my back @the-divine-feminine @shevfs @SkateboardPhightingLovr69 @Printerbattle @swordsaaro @KALININGRAD-OBLAST @kyuparin cuds always ok, you don't have to ask

@kiencbui
Kien B kiencbui
@ck76
CHENG KUN ck76
一期一会 Software Engineering is about tradeoffs, there is no one right answer.

NEUQ -> Keio University China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai

@jesse486
xinyuan fu jesse486

Waseda University Tokyo, Japan

@hackeris
hackeris hackeris
Fullstack demo developer. Code is cheap, show me the talk(and LLM).

Shanghai

@ZEM00K
ZEM00K
Main : @K-ANT0 and fl @BK-omachi
@minirang
서울민트초코 minirang
Hi, I am minirang! I am middle school student and amateur vibe coding developer. Have a nice day! \(0v^)/ | @minirang-org @SuperIntelligenceAI @minirang2

PAI CHAI Middle School South Korea

@techniker
Bjørn techniker
doing electronics, software and network stuff, aviator, sailing, CCC ,@c3roc_ - When it gets boring, I used to play piano. (These views be mine.) 🌈

Frachtwerk GmbH Berlin

@ManuelLerchner
Manuel Lerchner ManuelLerchner

Technical University of Munich Munich

@Thynkon
Mário Ferreira Thynkon

Switzerland

@sushink70
Sushin K sushink70
Senior Cloud Security Software Engineer Rust 🦀 Lover Super SDE Goooo to Mars

Lumen Technologies, Bengaluru, IN (Hybrid) Kerala, IN

@omnirefringent
omnirefringent
@arcanii
Bryan Mark arcanii
A business developer who loves to make stuff happen.
@7oznova
7oznova
【新星　ｎ　ｏ　ｖ　ａ　新星】
@beemo88
Vayto beemo88
@infinitypacific
Pacifiky infinitypacific
I liek computer - Webdev / Graphics / Cybersecurity / OSDev are cool! || Discord: Pacifiky

@frostdevelop

@ibrahimoa
Ibrahim Amar ibrahimoa
Embedded Software Engineer working on Security and Cryptography.

Rambus Helsinki

@IamSaker
Saker IamSaker

Bahwan

@inorganben
無機苯 inorganben
@roger-c-su
roger-c-su
@m561247
Eason Wang m561247
@githubbior
githubbior
@fraware
Matéo H. Petel fraware
Curiosity. ________________________________________________________________________________________ Stanford | NASA JPL | Oxford | ENS

Stanford

@CHINAmilitary
CHINA CHINAmilitary
your friendly neighbourhood commie ☯

Google Project Zero Singularity ☯

@pulssec
pulssec
@hamzaremmal
Hamza Remmal hamzaremmal

Oracle Zürich, Switzerland

@qlanduril
qlanduril
@phongt
Phong Tran phongt
@anton-68
anton-68
@AlexKV47
AlexKV47
@Emraors
E. M. Emraors
Software Engineer | Mathematician. I use GitHub mainly for exercises and learning. Nothing particularly interesting here yet.

Milan

@ghrcod
ghrod ghrcod

earth

@OmerSaricam
Ömer Sarıçam OmerSaricam
@abu-co
abuco abu-co
A random guy on GitHub.

@nitma-consulting Earth

@j0siah
Josiah Daniel Williams j0siah

Josiahs LLC Greenville, SC

@iuy1
iuy1
你好

NUIST NanJing, NUIST

@kkasza
Karoly Kasza kkasza
Linux enthusiast. Embedded to mainframe, physical to cloud.

NutCom Services Ltd. Graz

@moh-bash
Mohamad Bashir moh-bash
Web developer in progres | Front-End focused

Damascus , Syria

@maxi91
maxi91