Lobste.rs
16 readers
18 users here now
RSS Feed of lobste.rs
founded 3 weeks ago
MODERATORS
426
427
428
429
430
1
Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada
(ironclad.nongnu.org)
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450