601.docandrew / CuBit
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Ranked by Attention Score: stars gained over the last 180 complete days
601–675 of 675 by Attention Score · May 9, 2026 – Nov 4, 2026 (UTC)
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Repository of Nix expressions for old PHP versions
REPO MOVED https://github.com/juspay/omnix/tree/main/crates/omnix-health
tiny multiprocessing utility for file backups
pipelines contains generic functions for concurrent processing
One Go interface, five backends — filelock, flock, Redis, Postgres, etcd. Distributed locks with fencing tokens, semaphore mode, observability hooks, and TraceID propagation. Swap backends with one line.
PHP library that provides a filesystem abstraction layer − will be a feast for your files!
Floppy Bird (OS)
Arduino plugin for uploading files to ESP8266 file system
YAS3FS (Yet Another S3-backed File System) is a Filesystem in Userspace (FUSE) interface to Amazon S3. It was inspired by s3fs but rewritten from scratch to implement a distributed cache synchronized by Amazon SNS notifications. A web console is provided to easily monitor the nodes of a cluster.
A system and resource monitoring tool written in Golang!
Simple macOS GateKeeper script.
eBPF based TCP observability.
RW OverlayFS for Steam Deck!
A Highly Accessible and Automated Virtualization Platform for Security Education
A curated Arch Linux Experience like no other. Start a Riot.
Generates reproducible ruby/bundler app environment with Nix
Raspberry Pi (and Linux) simple remote monitoring tool with dashboard for multiple RPi devices. It works for any Linux device.
A privacy-first module for your status bar.
An interactive, real-time theme builder for the Omarchy Linux desktop environment.
Blazingly fast data comparison tool for Python, powered by Rust. Compare massive CSV/Parquet datasets instantly.
Zero-config, auto-scaling worker pool for Go with priority-aware scheduling, adaptive resource management, and per-task retry logic.
ASCII Space Invaders, Pacman, & Frogger games that run in a terminal window on Windows, OSX & linux.
Karabiner (KeyRemap4MacBook) is a powerful utility for keyboard customization.
NFF-Go -Network Function Framework for GO (former YANFF)
Recursive version of fs.readdir with small RAM & CPU footprint.
Ruby access to the clipboard on Windows, Linux, macOS, Java, WSL and more platforms 📋︎
OSX-like window decoration for KDE Plasma written in C++
Another NixOS Deployment Tool - Nixinate your systems 🕶️
A flexible command line client for Arch Linux's User Repository
An intuitive remotely-accessible system performance monitoring and task management tool for servers and headless Raspberry Pi setups.
Smuxi is an user-friendly and free IRC client for Linux, Windows and Mac OS X based on GNOME / GTK+
OpenCSD: eBPF Computational Storage Device (CSD) for Zoned Namespace (ZNS) SSDs in QEMU
Ada-language framework
Manage extended attributes in Swift
A refresh of LazyKali which simplifies install of tools and configuration. Original author appears missing.
Simple line of code counter written in Go
A simple save file system for GameMaker
Scala Native BLAS (Basic Linear Algebra Subprograms) supporting Linux and macOS
Some useful additons for makepkg for archlinux
An Object Pascal Client for NATS
F1 Theme for omarchy linux w some nice features
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.
Software for running a PiSpot Watch (composed of a Raspberry Pi Zero and a PaPiRus Zero) for the company GPConnect
Restarts an app when the filesystem changes. Uses growl and FSEventStream if on OS X.
WIP Language Server for Nix! [maintainer=@aaronjanse]
:lock: GPG Sync is designed to let users always have up-to-date public keys for other members of their organization
A debian-based shell environment designed for Android and adb
Prototyping kernel development work outside mainline
An In-Kernel Solution Based on eBPF / XDP for 5G UPF
Transforming the most useless key ever in the most useful one
A simple package to execute shell commands on linux, windows and osx
A lightweight, flexible, and safer alternative to chroot and/or Docker.
A libGDX cross platform game controllers extension
A few Linux tools and useful scripts.
Wrapper to use the Allegro game library with Pascal/Delphi. Synced with official.
NASA/JPL SPICE Toolkit for C – patched for cross-platform compatibility
Crossplatform code to handle Ctrl+C signal
An attempt at a minimalistic and secure operating system.
Add Speech to Text to your Omarchy (Arch Linux) System
A command-line utility to manage Keep-a-changelog formatted changelogs. Written in Go, works nicely on Monorepo.
my dotfiles with setup script and added spices. omaforge
Pure Go library for reading and writing MATLAB .mat files (v5-v7.3+). No CGo, no external dependencies. Full support for numeric types, complex numbers, and multi-dimensional arrays. Cross-platform (Windows/Linux/macOS). Part of SciGoLib ecosystem.
Feature-rich filesystem mocking for Go tests: comprehensive error injection, latency simulation, write operations, operation statistics, and standalone file handles. Built on testing/fstest.MapFS with comprehensive fs.FS interface support.
YAML and JSON parser, serializer and deserializer with YAML to JSON and vice versa conversion tools containing pure Object Pascal source code for both Delphi and Lazarus
C64-inspired retro theme for Omarchy
This is the Hollow Knight theme for Omarchy.org, providing a visually appealing configuration set for your Linux desktop environment.
Fast, Low-Memory, Easy Excel .NET helper to import/export/template spreadsheet (support Linux, Mac)
eBPF system monitor that runs inside the kernel. Sub-millisecond samples, zero allocations, faster than top.