seL4 microkernel and related repositories
Users following seL4
Abdallah Ibrahim Ismail
Apolo151
Tech Enthusiast:
Software / DevOps / ML / Robotics
Ain Shams University Egypt
Francesco Maiomascio
francescomaiomascio
I build governable software systems: identity, authority, traceability.
Italy
Dmitry Balabka
dbalabka
M.Sc. in Computer Science, +10 years experience in Web development, Software Architect with a focus on AI/ML projects in medium-size e-commerce US company
Ecentria Group Latvia, Riga
Yarik
Utishnik
- Hi, I'm Yarik
- I'm interested in science
- I'm learning programming now
-my tik-tok accaunt - https://www.tiktok.com/@yarik_1207?lang=ru-RU
ff4415
ff4415
Whenever you feel like criticizing anyone, just remember that all the people in this world haven't had the advantages that you've had.
Christos Kloukinas
c-kloukinas
"AI? We ain't got no AI. We don't need no AI!"
Here you'll find 100% handmade, organic slop code! 💪
London, UK
Martin Harawa
Marhardal
Software Developer & UX and UI Designer & Database Developer. Solving real-world problems with bug-free programs.
@HashTag-Technologies-Limited Lilongwe Malaŵi
Alexander Saltanov
sashka
Beware! Here is the place for private experiments and dragons!
I don't write Python these days.
@mokote Earth
peachey2k2
peachey2k2
Someone's having doubts, huh? Hell, I'm just tryinna keep this thing interesting.
Turkey
David Frisbee
h0bbl3s
RISC-V Foundational Associate. Lifelong open source enthusiast. FPV drone pilot and Ham radio operator.
Charlotte, NC
Harshit Raj
1-Harshit
Low Latency Trading Systems, Quadeye l Computer Science, IIT Kanpur 2024
Indian Institute of Technology Kanpur Delhi, IN
Timothy Lake
arachnewebb
I was born in 1978. I'm a musician and writer. I have an interest in software development, and I'm working on learning.
Dayton, OH, USA
PreviousNext