Lists (13)
Stars
Non-blocking direnv integration daemon with tmux support that provides instant shell prompts by running direnv asynchronously in the background.
A prompt engineering functional programming language
An all-round MQTT client that provides a structured topic overview
Glances an Eye on your system. A top/htop alternative for GNU/Linux, BSD, Mac OS and Windows operating systems.
Nix flake for a fully declarative NixOS on Raspberry Pi
A dotfile manager and templater written in rust 🦀
buttplug.io mod for Silksong. Vibrate on successful heal, damage caused.
This pihole_adlists.txt file is a consolidated list of adblock lists downloaded and formatted using the "Pi-hole Adblock Lists Updater" script. This list is designed to be used with Pi-hole, a netw…
A Rust port of nix-diff, a tool to explain why two Nix derivations differ.
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
ModBus Measurement Daemon - simple reading of data from ModBus meters and grid inverters
KiCad-focused Power Delivery Network Simulator (2.5D FEM Laplace's Equation Solver)
Artifact of the OOPSLA 2025 paper 'The Simple Essence of Overloading'
Run nixpkgs-review in GitHub Actions
Override xdg-open behavior. Because the way it already works is not confusing enough
An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WASM sandboxing.
A command-line tool that uses hyperfine to benchmark Nix derivation builds and evaluations.
Efficient zero-human-knowledge NN-based solver for NxNxN Rubik's cubes and general Cayley graphs
This repository contains software licenses that restrict software from being used in AI training datasets or AI technologies.
Cross-platform Rust rewrite of the GNU coreutils
Home of the Renovate CLI: Cross-platform Dependency Automation by Mend.io
SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.