Generator of runtime monitors for flight and robotics applications.
- assurance
- autonomy
- cfs
- embedded-systems
Repository Index
47,133 repositories indexed
25–37 of 37 · Most stars
An operating system written in D
Human-friendly process signals
- signal
- signals
- handlers
- error-handling
All the characters that work on most terminals
🐧 Security-focused Linux distribution with 140+ tools, custom kernel 6.17.13, AI assistant | 5 editions | Cloud, AI/ML, Automotive, Hardware hacking
Ada-language framework
- ada
- ada-language
- arm
- avr
A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.
- cross-platform
- dialog
- file
- filesystem
An attempt at a minimalistic and secure operating system.
A small x86 32-bit operating system.
- assembly
- basic-operating-system
- c
- kernel
Operating-system related data, published to an MQTT broker at fixed intervals.
Get the global cache directory
- cache
- caching
- directory
- filesystem
A modular Linux telemetry engine built with eBPF, libbpf CO-RE, and Modern C++ that captures kernel-level process, file, syscall, and network events through a portable event-processing pipeline for decoding, enrichment, filtering, and structured output—forming the foundation for higher-level runtime intelligence.
- cpp20
- ebpf
- event-logger
- filesystem
RISC-V 64-bit Kernel written in Ada