General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Repository Index
47,133 repositories indexed
25–36 of 36 · Most stars
🐧 Security-focused Linux distribution with 140+ tools, custom kernel 6.17.13, AI assistant | 5 editions | Cloud, AI/ML, Automotive, Hardware hacking
Command line tool for exporting resources and generating code from your Figma files
- swift
- codegenerator
- figma
- figma-api
Ada-language framework
- ada
- ada-language
- arm
- avr
An attempt at a minimalistic and secure operating system.
A basic operating system for the Game Boy. Because I can.
A small x86 32-bit operating system.
- assembly
- basic-operating-system
- c
- kernel
Get the global cache directory
- cache
- caching
- directory
- filesystem
GlowBarn OS - Paranormal Research Operating System built with Buildroot
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
An exokernel operating system written in Rust