General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Repository Index
71,372 visible repositories in the index
193–216 of 218 · Most stars
The current repository contains all the scripts needed to build kernel-mode mac-a-mal malicious activity hooking on macOS.
An EBPF based IPv4/IPv6 firewall with integrations for OpenZiti Zero-Trust Framework edge-routers and tunnellers
Automated installation of the Microsoft IE App Compat virtual machines
Setup a steam-deck-like gaming experience on your Omarchy install
Zero-overhead eBPF process tracer for Linux malware triage and incident response. Traces syscalls, network, and file events per-process without strace overhead.
Unofficial but officially accepted esa app :bird:
Fix Steam Deck OLED hardware issues after installing Omarchy on a vanilla Arch Linux installation
🛡️ Free AI that blocks hackers while you sleep. Runs on cheap hardware. When someone in Tokyo gets attacked, you're protected in 30 seconds. No fees. No experts needed. Just protection. One node's detection → everyone's protection.
- ai-security
- cybersecurity
- ids
- iot-security
A refresh of LazyKali which simplifies install of tools and configuration. Original author appears missing.
With a clear and graphically appealing GUI you can access the system deeply, overclock the Pi or replace the entire desktop environment. Everything you need to use the Pi as a desktop computer. PiGro does many commands that have to be entered via the terminal with one or two clicks of a button.
- gui
- app-store
- gui-script
- install
Overhead allocators, allocator-aware containers and lifetime management for D objects
A cross-platform installer creator
- installer
- linux
- setup
- setup-script
Display Fusion 2026: Complete Standalone Desktop Setup with Full Feature Set
- automation
- desktop-tools
- developer-tools
- display-management
HWID Spoofer: Full Feature Installer, Desktop-Ready
- automation
- desktop
- developer-tools
- disk-serial-changer
Startall Back 2026: Professional Desktop Utility Configuration Installer
- automation
- desktop
- developer-tools
- open-source
Multi-Display Configuration Utility with Enhanced Installer and Full Setup Options
- actual-multiple-monitors-crack-2026
- actual-multiple-monitors-cracked-2026
- actual-multiple-monitors-for-pc
- actual-multiple-monitors-free-2026
A modern mod manager for all your games with built-in Archipelago support.
- bepinex
- game-modding
- linux
- linux-gaming
Framework 12 rotation application specifically for Omarchy Linux or any Hyprland based distro.
A small x86 32-bit operating system.
- assembly
- basic-operating-system
- c
- kernel
Virtual machine with all software and sample data to run 3D-e-Chem Knime workflows
Frutiger Aero theme set for Omarchy on Hyprland — glassmorphism, transparent windows, blur, authentic wallpapers
- awesome-omarchy
- dotfiles
- eww-widgets
- frutiger-aero
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
eBPF system monitor that runs inside the kernel. Sub-millisecond samples, zero allocations, faster than top.