601.NixOS / cabal2nix
Generate Nix build instructions from a Cabal file
- cabal
- nix
- hackage
- haskell
- cabal2nix
- nixpkgs
Ranked by Attention Score: stars gained over the last 90 complete days
601–700 of 701 by Attention Score · Aug 7, 2026 – Nov 4, 2026 (UTC)
Generate Nix build instructions from a Cabal file
Ruby access to the clipboard on Windows, Linux, macOS, Java, WSL and more platforms 📋︎
A system and resource monitoring tool written in Golang!
🗑️ Easily remove the node_modules folder of non-active projects
Adaptive hedged requests for Go. Cut your p99 latency with zero configuration. Based on Google's "The Tail at Scale" paper.
An application that can dock any window to the edge of the screen.
eBPF based TCP observability.
A flexible command line client for Arch Linux's User Repository
RW OverlayFS for Steam Deck!
Android Mobile Device Hardening
A Terminal user interface for maintaining an Arch Linux distribution.
A Highly Accessible and Automated Virtualization Platform for Security Education
Check if the process is running inside Windows Subsystem for Linux (Bash on Windows)
An innovative desktop manager for macOS
A high-performance rate limiter library for Go applications
Prefetch any fetcher function call, e.g. a package source
Red Canary's eBPF Sensor
Fast & memory efficient hash tables for Java
Tracker for issues specific to the Vulkan version of Dota 2 on Windows, Linux, and macOS
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Repository of Nix expressions for old PHP versions
An EBPF based IPv4/IPv6 firewall with integrations for OpenZiti Zero-Trust Framework edge-routers and tunnellers
A command line tool to manage Ubuntu Linux and macOS wifi, including an interactive shell
⚡ Quickly setup my Raspberry Pi with Ansible !
Darkine KDE - Theme for KDE Plasma 5 desktop > Mirror of https://git.rokin.in/Rokin/darkine-kde
Ordered-concurrently a library for concurrent processing with ordered output in Go. Process work concurrently and returns output in a channel in the order of input. It is useful in concurrently processing items in a queue, and get output in the order provided by the queue.
A C++ Library for Linux based single board computers ( sbc ) to drive electronic displays. Developed and tested on Raspberry pi (5, 4 & 3).
A Go-based framework has been developed to oversee the execution of workflows delineated by directed acyclic graphs (DAGs).
Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)
Scala Native BLAS (Basic Linear Algebra Subprograms) supporting Linux and macOS
Native Linux GUI for Claude Code agents. Rust + GTK4. Fast, light, no Electron.
An interactive, real-time theme builder for the Omarchy Linux desktop environment.
A small x86 32-bit operating system.
Aldertech Dynamic Resource Governor — A kernel-level resource manager for high-density Docker stacks on Raspberry Pi and low-power servers.
Blazingly fast data comparison tool for Python, powered by Rust. Compare massive CSV/Parquet datasets instantly.
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.
A native voxel editor for macOS, Windows, and Linux. Open, create, sculpt, and paint voxel scenes in a fast GPU-accelerated viewport.
GlowBarn OS - Paranormal Research Operating System built with Buildroot
A package which efficiently applies any function to a pandas dataframe or series in the fastest available manner
A simple and lightweight translator that allows you to translate and speak text using Google, Yandex Bing, LibreTranslate and Lingva.
Restarts an app when the filesystem changes. Uses growl and FSEventStream if on OS X.
Floppy Bird (OS)
Use eBPF to speed up your Service Mesh like crossing an Einstein-Rosen Bridge.
Arduino plugin for uploading files to ESP8266 file system
Alaz: Advanced eBPF Agent for Kubernetes Observability – Effortlessly monitor K8s service interactions and performance metrics in your K8s environment. Gain in-depth insights with service maps, metrics, and more, while staying alert to crucial system anomalies 🐝
C++ SIMD Noise Library
Recursive version of fs.readdir with small RAM & CPU footprint.
Nix functions for filtering local git sources
Unofficial Trello app :whale:
Cross-platform Go library to place an icon in the host operating system's taskbar.
Monitor and profiler powered by eBPF to monitor network traffic, and diagnose CPU and network performance.
A script for creating custom OS images for single-board computers
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+
🔍 Function-level tracing tool for Seccomp profiling, with eBPF
A virtual car. Because you wouldn't download a car, would you?
A curated Arch Linux Experience like no other. Start a Riot.
:zap: Fast Concurrent / Parallel Sorting in Go
Nixpkgs overlay with Firefox binary builds for macOS
OpenCSD: eBPF Computational Storage Device (CSD) for Zoned Namespace (ZNS) SSDs in QEMU
An extended platform release manager for Robot Operating System
🐋 A cron-like job scheduler for docker
A stunningly beautiful Terminal backup and restore tool written in Pure Go
Export games made in LOVE2D to Windows, Mac, and Linux
Sample project demonstrating how to use eBPF to encap/decap packets with an MPLS label.
A simple utility for the calculation and analysis of IP subnet values, designed to simplify network configuration tasks.
Manage extended attributes in Swift
Simple C++ InfluxDB client via MS C++ REST SDK + RxCpp for batching (Windows/OSX/Linux) + a C wrapper
CLI tool and TUI editor for managing .NET .resx localization files. Validate translations, import/export CSV, add/remove languages, and edit interactively.
TurboRaylib is a cool and clean Raylib bindings for Object Pascal (Delphi and FreePascal)
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.
Raspberry Pi (and Linux) simple remote monitoring tool with dashboard for multiple RPi devices. It works for any Linux device.
A simple save file system for GameMaker
NASA/JPL SPICE Toolkit for C – patched for cross-platform compatibility
A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.
A privacy-first module for your status bar.
A tiny cross-platform Go library to hide/unhide files and directories
A robust script to manage and cycle through live video wallpapers on Omarchy/Hyprland.
AdaGate is a kid-friendly 3D dungeon escape game within a Stargate fantasy setting for Windows, OSX & most Linux distros. A tribute to Narbacular Drop with mind bending spacial interconnections.
Some useful additons for makepkg for archlinux
An example of an eBPF program hooking into the kill tracepoint
Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.
ChatGPT cross-platform client made with the Quasar Framework
An Object Pascal Client for NATS
Library for swiftly working with EOSIO blockchains on Linux, macOS and iOS with ESR 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
Self-hosted DNS with Pi-hole + Unbound + Docker on Raspberry Pi
Zero-config, auto-scaling worker pool for Go with priority-aware scheduling, adaptive resource management, and per-task retry logic.
GiavaScript JavaScript runtime ✨💎🚀✨
ASCII Space Invaders, Pacman, & Frogger games that run in a terminal window on Windows, OSX & linux.
Capacitor plugin for file system operations. A modern replacement for cordova-plugin-file with a compatible API.